1--TEST--
2Dom\HTMLDocument::saveHtmlFile() empty path
3--EXTENSIONS--
4dom
5--FILE--
6<?php
7
8$dom = Dom\HTMLDocument::createEmpty();
9$root = $dom->appendChild($dom->createElement("root"));
10$dom->saveHtmlFile("");
11
12?>
13--EXPECTF--
14Fatal error: Uncaught ValueError: Dom\HTMLDocument::saveHtmlFile(): Argument #1 ($filename) must not be empty in %s:%d
15Stack trace:
16#0 %s(%d): Dom\HTMLDocument->saveHtmlFile('')
17#1 {main}
18  thrown in %s on line %d
19