[gnome-shell] extensionPrefs: Use new Extensions proxy

[Florian MĂźllner <fmuellner src gnome org>]

commit c748b9de5c785f9c7095b02947247e9d01b464d1
Author: Florian MĂźllner <fmuellner gnome org>
Date:   Wed Mar 4 05:05:08 2020 +0100

    extensionPrefs: Use new Extensions proxy
    
    We will soon sandbox the application, so it makes sense to not request
    more access than strictly necessary (even with priviledged access like
    extension management).
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1106

 js/extensionPrefs/js/main.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/js/extensionPrefs/js/main.js b/js/extensionPrefs/js/main.js
index fd76051578..c4bb4fa5af 100644
--- a/js/extensionPrefs/js/main.js
+++ b/js/extensionPrefs/js/main.js
@@ -64,7 +64,9 @@ class Application extends Gtk.Application {
             provider,
             Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
 
-        this._shellProxy = new GnomeShellProxy(Gio.DBus.session, 'org.gnome.Shell', '/org/gnome/Shell');
+        this._shellProxy = new GnomeShellProxy(Gio.DBus.session,
+            'org.gnome.Shell.Extensions', '/org/gnome/Shell/Extensions');
+
         this._window = new ExtensionsWindow({ application: this });
     }
 });