1--TEST--
2DOM\HTMLDocument::createFromFile() - NUL terminator cases path
3--EXTENSIONS--
4dom
5--FILE--
6<?php
7
8try {
9    DOM\HTMLDocument::createFromFile("\0");
10} catch (ValueError $e) {
11    echo $e->getMessage(), "\n";
12}
13try {
14    DOM\HTMLDocument::createFromFile('%00');
15} catch (ValueError $e) {
16    echo $e->getMessage(), "\n";
17}
18
19?>
20--EXPECT--
21DOM\HTMLDocument::createFromFile(): Argument #1 ($path) must not contain any null bytes
22DOM\HTMLDocument::createFromFile(): Argument #1 ($path) must not contain percent-encoded NUL bytes
23