1--TEST--
2xml_parser_set_option(): Non-existent option
3--EXTENSIONS--
4xml
5--FILE--
6<?php
7
8$xmlParser = xml_parser_create();
9
10try {
11    xml_parser_set_option($xmlParser, 42, 1);
12} catch (ValueError $exception) {
13    echo $exception->getMessage() . "\n";
14}
15
16?>
17--EXPECT--
18xml_parser_set_option(): Argument #2 ($option) must be a XML_OPTION_* constant
19