Extension of the PHP XSLTProcessor class