1--TEST--
2xml_parser_get_option() with XML_OPTION_SKIP_TAGSTART and XML_OPTION_SKIP_WHITE
3--EXTENSIONS--
4xml
5--FILE--
6<?php
7$parser = xml_parser_create();
8echo "defaults:\n";
9var_dump(xml_parser_get_option($parser, XML_OPTION_SKIP_TAGSTART));
10var_dump(xml_parser_get_option($parser, XML_OPTION_SKIP_WHITE));
11var_dump(xml_parser_get_option($parser, XML_OPTION_CASE_FOLDING));
12echo "setting:\n";
13var_dump(xml_parser_set_option($parser, XML_OPTION_SKIP_TAGSTART, 7));
14var_dump(xml_parser_set_option($parser, XML_OPTION_SKIP_WHITE, 1));
15var_dump(xml_parser_set_option($parser, XML_OPTION_CASE_FOLDING, false));
16echo "getting:\n";
17var_dump(xml_parser_get_option($parser, XML_OPTION_SKIP_TAGSTART));
18var_dump(xml_parser_get_option($parser, XML_OPTION_SKIP_WHITE));
19var_dump(xml_parser_get_option($parser, XML_OPTION_CASE_FOLDING));
20?>
21--EXPECT--
22defaults:
23int(0)
24bool(false)
25bool(true)
26setting:
27bool(true)
28bool(true)
29bool(true)
30getting:
31int(7)
32bool(true)
33bool(false)
34