Extension of PHP's XSLT