tree 16642d458a3fd261109524ff62175cf45aa423a7
parent 2065d340908133b707b62351e12d919cfef9ac94
author SVGAnimate <glash.gnome@gmail.com> 1611639768 +0000
committer Nick Wellnhofer <wellnhofer@aevum.de> 1612801029 +0100

Add the copy of type from original xmlDoc in xmlCopyDoc()

A bug related to php DOMDocument:

    https://bugs.php.net/bug.php?id=80665

When copy/clone an html document, the xmlDoc->type goes from
XML_HTML_DOCUMENT_NODE to XML_DOCUMENT_NODE.