[gnome-shell/wip/fmuellner/ci-test] appMenu: Add separator between "Details" and "Quit"

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

commit 360bfc75c24c9ae4f0783b784ea4277a7b047f22
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Feb 11 19:50:37 2019 +0100

    appMenu: Add separator between "Details" and "Quit"
    
    The two actions are sufficiently different to warrant their own
    groups.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/issues/968

 js/ui/panel.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index f32e7f218..346a89a9e 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -105,6 +105,8 @@ class AppMenu extends PopupMenu.PopupMenu {
             });
         });
 
+        this.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
+
         this.addAction(_("Quit"), () => {
             this._app.request_quit();
         });