[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_OPTIONS_COLLECTION
pub const NONE_DOMHTML_OPTIONS_COLLECTION: Option<&DOMHTMLOptionsCollection>
pub const NONE_DOMHTML_OPTIONS_COLLECTION: Option<&DOMHTMLOptionsCollection>