format php file