other modification to php file