Correct PHP format of files.