note 43974 added to function.xml-parser-set-option

The constant XML_OPTION_CASE_FOLDING is documented as an *integer*, but in my opinion, it should be a *boolean* (as any enable/disable-option should be). I assume that the choice for an integer-value was made because it would be ambiguous when xml_parser_get_option would return FALSE. When leaving XML_OPTION_CASE_FOLDING an integer, the possible values should be documented as they are: 0 = Case folding disabled non-zero = Case folding enabled (default is 1) If you set value to FALSE, it will be converted to 0. If you set value to TRUE, it will be converted to 1. ---- Manual Page -- http://www.php.net/manual/en/function.xml-parser-set-option.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+43974 Delete -- http://master.php.net/manage/user-notes.php?action=delete+43974&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+43974&report=yes Search -- http://master.php.net/manage/user-notes.php