php53: ignore PHP source file