Files to run phpDIFF on: