fixing php file