Attempt to support PHP PI

diff --git a/website/xsl/website-common.xsl b/website/xsl/website-common.xsl
index 1af26ea606ea34bef74e778045b8c2f33b2d9aea..dd19fda6da31fa6fdbbeb5a5d24d745900aac087 100644 (file)
--- a/website/xsl/website-common.xsl
+++ b/website/xsl/website-common.xsl
@@ -440,6 +440,14 @@ node.</para>
 
 <!-- ==================================================================== -->
 
+<xsl:template match="processing-instruction('php')">
+  <xsl:processing-instruction name="php">
+    <xsl:value-of select="."/>
+  </xsl:processing-instruction>
+</xsl:template>
+
+<!-- ==================================================================== -->
+
 <xsl:template match="rddl:*" xmlns:rddl='http://www.rddl.org/'>
   <xsl:element name="{name(.)}">
     <xsl:apply-templates select="@*" mode="copy"/>