[gnome-shell] shellDBus: Fix LaunchExtensionPreferences()

[Florian Müllner <fmuellner src gnome org>]

commit 2d24536caf8cbd4d3c5aea705cddb57f1a23d7c9
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Feb 20 20:14:21 2014 +0100

    shellDBus: Fix LaunchExtensionPreferences()
    
    Commit 5dedc5d8ba4f0e6fa removed "unused" functionality which was
    still used by that method. Launch it via GAppInfo instead, which
    still supports passing URIs.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724813

 js/ui/shellDBus.js |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 2bc149c..6dbb5ae 100644
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -371,8 +371,10 @@ const GnomeShellExtensions = new Lang.Class({
     LaunchExtensionPrefs: function(uuid) {
         let appSys = Shell.AppSystem.get_default();
         let app = appSys.lookup_app('gnome-shell-extension-prefs.desktop');
-        app.launch(global.display.get_current_time_roundtrip(),
-                   ['extension:///' + uuid], -1, null);
+        let info = app.get_app_info();
+        let timestamp = global.display.get_current_time_roundtrip();
+        info.launch_uris(['extension:///' + uuid],
+                         global.create_app_launch_context(timestamp, -1));
     },
 
     ReloadExtension: function(uuid) {