From aa61518dd6c6ce0c5b41943dd78dd6379b4c90ec Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Tue, 18 Aug 2015 14:25:31 +0200 Subject: [PATCH] webkit2gtk-4.0: Update to 2.9.90 --- vapi/webkit2gtk-4.0.vapi | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/vapi/webkit2gtk-4.0.vapi b/vapi/webkit2gtk-4.0.vapi index 6f6ca527d..ec542f10f 100644 --- a/vapi/webkit2gtk-4.0.vapi +++ b/vapi/webkit2gtk-4.0.vapi @@ -234,6 +234,12 @@ namespace WebKit { public string link_uri { get; construct; } public string media_uri { get; construct; } } + [CCode (cheader_filename = "webkit2/webkit2.h", type_id = "webkit_install_missing_media_plugins_permission_request_get_type ()")] + public class InstallMissingMediaPluginsPermissionRequest : GLib.Object, WebKit.PermissionRequest { + [CCode (has_construct_function = false)] + protected InstallMissingMediaPluginsPermissionRequest (); + public unowned string get_description (); + } [CCode (cheader_filename = "webkit2/webkit2.h", ref_function = "webkit_javascript_result_ref", type_id = "webkit_javascript_result_get_type ()", unref_function = "webkit_javascript_result_unref")] [Compact] public class JavascriptResult { -- 2.47.2