pub const xmlDocProperties_XML_DOC_HTML: xmlDocProperties = 128;