modify php file