By Dano MAnion: rename php file to html file