html to php file format