Utilities for processing XHTML and Polyglot HTML5 documents with the PHP DOM extension