(PHP 5, PHP 7)
DOMDocument::saveHTMLFile — Dumps the internal document into a file using HTML formatting
