[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_OPTIONS_COLLECTION

pub const NONE_DOMHTML_OPTIONS_COLLECTION: Option<&DOMHTMLOptionsCollection>;