Fix the file type in the phpDoc comment