namespace WebKit {
	public errordomain JavascriptError {
		[CCode (cname = "WEBKIT_JAVASCRIPT_ERROR_SCRIPT_FAILED")]
		FAILED
	}
}