Constant webkit2gtk_webextension_sys::WEBKIT_DOM_EVENT_FOCUS

pub const WEBKIT_DOM_EVENT_FOCUS: c_int = 4096;