Adding xsl extension for php