From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Wed, 16 Oct 2019 15:28:35 +0000 (+0200)
Subject: webkit2gtk-4.0: Update to 2.27.1
X-Git-Tag: 0.47.1~80
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ad6246164f7f506b7e26ba55c356ef17503c29b;p=thirdparty%2Fvala.git

webkit2gtk-4.0: Update to 2.27.1
---

diff --git a/vapi/webkit2gtk-4.0.vapi b/vapi/webkit2gtk-4.0.vapi
index 690d4ae94..8ce04834f 100644
--- a/vapi/webkit2gtk-4.0.vapi
+++ b/vapi/webkit2gtk-4.0.vapi
@@ -1083,6 +1083,9 @@ namespace WebKit {
 		[NoAccessorMethod]
 		[Version (deprecated = true, deprecated_since = "2.10.", since = "2.8")]
 		public string local_storage_directory { owned get; construct; }
+		[NoAccessorMethod]
+		[Version (since = "2.28")]
+		public bool process_swap_on_cross_site_navigation_enabled { get; construct; }
 		[Version (since = "2.10")]
 		public WebKit.WebsiteDataManager website_data_manager { get; construct; }
 		[Version (since = "2.18")]
@@ -1233,6 +1236,8 @@ namespace WebKit {
 		[NoAccessorMethod]
 		[Version (since = "2.8")]
 		public bool is_playing_audio { get; }
+		[Version (since = "2.28")]
+		public uint64 page_id { get; }
 		[NoAccessorMethod]
 		[Version (since = "2.4")]
 		public WebKit.WebView related_view { construct; }