[gnome-builder] gui: require WebKit2 at plugin initialization time

[Christian Hergert <chergert src gnome org>]

commit a5e6f27d740926355c35d1c33404c800d5daa38e
Author: Christian Hergert <chergert redhat com>
Date:   Thu Jan 17 12:49:10 2019 -0800

    gui: require WebKit2 at plugin initialization time
    
    This ensures we have the appropriate version before plugins call into any
    gi loading.

 src/libide/gui/ide-application-plugins.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/libide/gui/ide-application-plugins.c b/src/libide/gui/ide-application-plugins.c
index 1f2a5e544..93768bd0c 100644
--- a/src/libide/gui/ide-application-plugins.c
+++ b/src/libide/gui/ide-application-plugins.c
@@ -366,6 +366,7 @@ _ide_application_load_plugins (IdeApplication *self)
       !g_irepository_require (NULL, "Dazzle", "1.0", 0, &error) ||
       !g_irepository_require (NULL, "Jsonrpc", "1.0", 0, &error) ||
       !g_irepository_require (NULL, "Template", "1.0", 0, &error) ||
+      !g_irepository_require (NULL, "WebKit2", "4.0", 0, &error) ||
       !g_irepository_require (NULL, "Ide", PACKAGE_ABI_S, 0, &error))
     g_critical ("Cannot enable Python 3 plugins: %s", error->message);
   else