Constant xmlCharEncoding_XML_CHAR_ENCODING_8859_8

pub const xmlCharEncoding_XML_CHAR_ENCODING_8859_8: xmlCharEncoding = 17;