Remove unneeded attribute extension-element-prefixes from xsl stylesheets
authorAntonio Ospite <ao2@ao2.it>
Fri, 9 Nov 2018 14:21:24 +0000 (15:21 +0100)
committerAntonio Ospite <ao2@ao2.it>
Fri, 9 Nov 2018 14:21:24 +0000 (15:21 +0100)
It looks like the "extension-element-prefixes" attribute is not strictly
needed for php extension functions to work, so remove it.

If it turns out that the attribute is actually needed in some cases it
can always be added back.


No differences found