[gnome-shell-extensions/wip/fmuellner/fix-113-master: 4/9] apps-menu: Remove pointless destroy() implementation

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

commit 81f83a20a02a8099548c6ea1c880e6ac43401995
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Oct 10 16:25:10 2018 +0200

    apps-menu: Remove pointless destroy() implementation
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/113

 extensions/apps-menu/extension.js | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index a4aa852..8e32e57 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -743,10 +743,6 @@ class ApplicationsButton extends PanelMenu.Button {
 
         return applist;
     }
-
-    destroy() {
-        super.destroy();
-    }
 };
 
 let appsMenuButton;