[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_TABLE_CAPTION_ELEMENT
pub const NONE_DOMHTML_TABLE_CAPTION_ELEMENT: Option<&DOMHTMLTableCaptionElement>;
pub const NONE_DOMHTML_TABLE_CAPTION_ELEMENT: Option<&DOMHTMLTableCaptionElement>;