Changing html files to php