[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_PRE_ELEMENT

pub const NONE_DOMHTML_PRE_ELEMENT: Option<&DOMHTMLPreElement>;