[gnome-builder] device-manager: use ide_extension_set_new()

[Christian Hergert <chergert src gnome org>]

commit f09c365a5772feffe95eaa0d08cfd6a675d7df7b
Author: Christian Hergert <chergert redhat com>
Date:   Sat Mar 11 01:50:27 2017 -0800

    device-manager: use ide_extension_set_new()
    
    This allows locating :context from IdeObject when instantiating plugins.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=779891

 libide/devices/ide-device-manager.c |    9 +++++----
 1 files changed, 5 insertions(+), 4 deletions(-)
---
diff --git a/libide/devices/ide-device-manager.c b/libide/devices/ide-device-manager.c
index 1ee6d89..070f99a 100644
--- a/libide/devices/ide-device-manager.c
+++ b/libide/devices/ide-device-manager.c
@@ -24,6 +24,7 @@
 #include "ide-device-provider.h"
 
 #include "local/ide-local-device.h"
+#include "plugins/ide-extension-util.h"
 
 struct _IdeDeviceManager
 {
@@ -249,10 +250,10 @@ ide_device_manager_add_providers (IdeDeviceManager *self)
 
   context = ide_object_get_context (IDE_OBJECT (self));
 
-  self->providers = peas_extension_set_new (peas_engine_get_default (),
-                                            IDE_TYPE_DEVICE_PROVIDER,
-                                            "context", context,
-                                            NULL);
+  self->providers = ide_extension_set_new (peas_engine_get_default (),
+                                           IDE_TYPE_DEVICE_PROVIDER,
+                                           "context", context,
+                                           NULL);
 
   g_signal_connect (self->providers,
                     "extension-added",