Convert html files to php