[gnome-shell] popupMenu: Remove some now-unused code

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

commit d2103995cb8c4d77808933f7c603f7d658ae996d
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Fri Apr 19 22:34:40 2013 -0400

    popupMenu: Remove some now-unused code
    
    We don't have any sections with separators, so don't bother
    tracking them.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=698427

 js/ui/popupMenu.js |   11 -----------
 1 files changed, 0 insertions(+), 11 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 77196e3..ac9ae6f 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1466,23 +1466,12 @@ const PopupMenuSection = new Lang.Class({
         this.actor = this.box;
         this.actor._delegate = this;
         this.isOpen = true;
-
-        // an array of externally managed separators
-        this.separators = [];
     },
 
     // deliberately ignore any attempt to open() or close(), but emit the
     // corresponding signal so children can still pick it up
     open: function() { this.emit('open-state-changed', true); },
     close: function() { this.emit('open-state-changed', false); },
-
-    destroy: function() {
-        for (let i = 0; i < this.separators.length; i++)
-            this.separators[i].destroy();
-        this.separators = [];
-
-        this.parent();
-    }
 });
 
 const PopupSubMenuMenuItem = new Lang.Class({