Editing: HtmlDumperOutput.php