convert php extension to html