How to generate pages ready for serving via PHP?
Use the *.php filename extension (see above) for the output html links in site.xml navigation. Add your php processing instructions to the source documents. However, beware FOR-999 “processing-instruction nodes in source are not always passed through to html output” whereby only PIs in certain body elements are handled.