[gnome-shell] shellDBus: Remove now unused DisableExtension/EnableExtension

[Jasper St. Pierre <jstpierre src gnome org>]

commit 12c7cc278d5022000c7358ecdb535ba780107670
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Fri May 25 17:00:32 2012 -0400

    shellDBus: Remove now unused DisableExtension/EnableExtension
    
    These methods were initially introduced when I was planning on having
    an explicit DisableExtension/EnableExtension, instead of hooking up
    a gsettings notify. This behavior was changed at the last minute, but
    the methods were kept to avoid having to change the browser-plugin.
    
    Consumers of this API should just set the GSettings key directly
    instead now.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=676837

 js/ui/shellDBus.js |   20 --------------------
 1 files changed, 0 insertions(+), 20 deletions(-)
---
diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 5fd65e1..0921d7c 100644
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -56,12 +56,6 @@ const GnomeShellIface = <interface name="org.gnome.Shell">
     <arg type="i" direction="in" name="width"/>
     <arg type="i" direction="in" name="height"/>
 </method>
-<method name="EnableExtension">
-    <arg type="s" direction="in" name="uuid"/>
-</method>
-<method name="DisableExtension">
-    <arg type="s" direction="in" name="uuid"/>
-</method>
 <method name="InstallRemoteExtension">
     <arg type="s" direction="in" name="uuid"/>
     <arg type="s" direction="in" name="version"/>
@@ -260,20 +254,6 @@ const GnomeShell = new Lang.Class({
         return extension.errors;
     },
 
-    EnableExtension: function(uuid) {
-        let enabledExtensions = global.settings.get_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY);
-        if (enabledExtensions.indexOf(uuid) == -1)
-            enabledExtensions.push(uuid);
-        global.settings.set_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY, enabledExtensions);
-    },
-
-    DisableExtension: function(uuid) {
-        let enabledExtensions = global.settings.get_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY);
-        while (enabledExtensions.indexOf(uuid) != -1)
-            enabledExtensions.splice(enabledExtensions.indexOf(uuid), 1);
-        global.settings.set_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY, enabledExtensions);
-    },
-
     InstallRemoteExtension: function(uuid, version_tag) {
         ExtensionSystem.installExtensionFromUUID(uuid, version_tag);
     },