1--TEST--
2Test DOMDocument::loadHTMLFile when the file doesn't exist
3--DESCRIPTION--
4Verifies that an error message is showed if the file doesn't exist
5--CREDITS--
6Antonio Diaz Ruiz <dejalatele@gmail.com>
7--EXTENSIONS--
8dom
9--FILE--
10<?php
11$doc = new DOMDocument();
12$result = $doc->loadHTMLFile(__DIR__ . "/ffff/test.html");
13assert($result === false);
14?>
15--EXPECTF--
16%r(PHP ){0,1}%rWarning: DOMDocument::loadHTMLFile(): I/O warning : failed to load external entity %s
17