now with some php capabilities, in case it didn't already have them, to embed php in html files