Constant webkit2gtk_webextension_sys::WEBKIT_DOM_NODE_FILTER_SHOW_DOCUMENT_TYPE

pub const WEBKIT_DOM_NODE_FILTER_SHOW_DOCUMENT_TYPE: c_int = 512;