[vala/staging] webkit2gtk-4.0: Update to 2.33.1

[Rico Tzschichholz <ricotz src gnome org>]

commit 00fdea5a07ece0672de86000d184769645d4ace4
Author: Rico Tzschichholz <ricotz ubuntu com>
Date:   Wed May 26 17:05:31 2021 +0200

    webkit2gtk-4.0: Update to 2.33.1

 vapi/webkit2gtk-4.0.vapi | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)
---
diff --git a/vapi/webkit2gtk-4.0.vapi b/vapi/webkit2gtk-4.0.vapi
index a7616e387..618d7f2e8 100644
--- a/vapi/webkit2gtk-4.0.vapi
+++ b/vapi/webkit2gtk-4.0.vapi
@@ -1329,6 +1329,7 @@ namespace WebKit {
                public unowned WebKit.WebInspector get_inspector ();
                [Version (since = "2.30")]
                public bool get_is_muted ();
+               public bool get_is_web_process_responsive ();
                [Version (deprecated = true, deprecated_since = "2.22")]
                public unowned JS.GlobalContext get_javascript_global_context ();
                public unowned WebKit.WebResource get_main_resource ();
@@ -1385,6 +1386,8 @@ namespace WebKit {
                [NoWrapper]
                public virtual bool show_option_menu (Gdk.Rectangle rectangle, WebKit.OptionMenu menu);
                public void stop_loading ();
+               [Version (since = "2.34")]
+               public void terminate_web_process ();
                [Version (since = "2.12")]
                public void try_close ();
                [CCode (has_construct_function = false, type = "GtkWidget*")]
@@ -1418,6 +1421,8 @@ namespace WebKit {
                [NoAccessorMethod]
                [Version (since = "2.8")]
                public bool is_playing_audio { get; }
+               [Version (since = "2.34")]
+               public bool is_web_process_responsive { get; }
                [Version (since = "2.28")]
                public uint64 page_id { get; }
                [NoAccessorMethod]
@@ -1884,7 +1889,8 @@ namespace WebKit {
        [Version (since = "2.20")]
        public enum WebProcessTerminationReason {
                CRASHED,
-               EXCEEDED_MEMORY_LIMIT
+               EXCEEDED_MEMORY_LIMIT,
+               TERMINATED_BY_API
        }
        [CCode (cheader_filename = "webkit2/webkit2.h", cprefix = "WEBKIT_WEBSITE_DATA_", type_id = 
"webkit_website_data_types_get_type ()")]
        [Flags]