changing html files to php