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