[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_DIRECTORY_ELEMENT
pub const NONE_DOMHTML_DIRECTORY_ELEMENT: Option<&DOMHTMLDirectoryElement>;
pub const NONE_DOMHTML_DIRECTORY_ELEMENT: Option<&DOMHTMLDirectoryElement>;