[gnome-shell] extensions-tool: Use OpenExtensionPrefs() method

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

commit 7f6e2ff36b141b6d7359e8527b90d2b80190fa3b
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Mar 10 17:47:25 2020 +0100

    extensions-tool: Use OpenExtensionPrefs() method
    
    LaunchExtensionPrefs() was deprecated in commit fda938175e5d,
    so switch to the replacement.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1097

 subprojects/extensions-tool/src/command-prefs.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/subprojects/extensions-tool/src/command-prefs.c b/subprojects/extensions-tool/src/command-prefs.c
index 022ff8f86f..693d48406a 100644
--- a/subprojects/extensions-tool/src/command-prefs.c
+++ b/subprojects/extensions-tool/src/command-prefs.c
@@ -60,8 +60,8 @@ launch_extension_prefs (const char *uuid)
     return FALSE;
 
   g_dbus_proxy_call_sync (proxy,
-                          "LaunchExtensionPrefs",
-                          g_variant_new ("(s)", uuid),
+                          "OpenExtensionPrefs",
+                          g_variant_new ("(ssa{sv})", uuid, "", NULL),
                           0,
                           -1,
                           NULL,