[devhelp/newer-webkit] Handle deprecated API in WebKitGTK >= 2.32

[Emmanuele Bassi <ebassi src gnome org>]

commit e16691c88205a4639dd65fee6b4ba928b036c31a
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Mon Apr 12 23:28:03 2021 +0100

    Handle deprecated API in WebKitGTK >= 2.32
    
    The WebKitSettings:enable-plugins property is deprecated in WebKitGTK
    2.32, and setting it does not do anything.

 devhelp/dh-web-view.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/devhelp/dh-web-view.c b/devhelp/dh-web-view.c
index 8c1ca9b5..9563b700 100644
--- a/devhelp/dh-web-view.c
+++ b/devhelp/dh-web-view.c
@@ -484,8 +484,10 @@ dh_web_view_constructed (GObject *object)
         /* Disable some things we have no need for. */
         webkit_settings_set_enable_html5_database (webkit_settings, FALSE);
         webkit_settings_set_enable_html5_local_storage (webkit_settings, FALSE);
+#if !WEBKIT_CHECK_VERSION(2, 31, 0)
+        /* Plugins are always disabled with WebKit >= 2.32 */
         webkit_settings_set_enable_plugins (webkit_settings, FALSE);
-
+#endif
         if (view->priv->profile == NULL)
                 set_profile (view, dh_profile_get_default ());