[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_OPT_GROUP_ELEMENT
pub const NONE_DOMHTML_OPT_GROUP_ELEMENT: Option<&DOMHTMLOptGroupElement>;
pub const NONE_DOMHTML_OPT_GROUP_ELEMENT: Option<&DOMHTMLOptGroupElement>;