rename old php file to html