[−][src]Type Definition webkit2gtk_sys::WebKitUserScriptInjectionTime

type WebKitUserScriptInjectionTime = c_int;