Update DOMHtml.php