note 43974 deleted from function.xml-parser-set-option by nlopess

Note Submitter: jeroen.s@zonnet.nl ---- 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.