Constant xmlCharEncoding_XML_CHAR_ENCODING_8859_3

pub const xmlCharEncoding_XML_CHAR_ENCODING_8859_3: xmlCharEncoding = 12;