fix broken php file