Fix missing php file extensions