[gnome-shell] Rename "System Settings" to "Settings"

[Allan Day <allanday src gnome org>]

commit 644c210fe218d27586592d4a7e16af7aaba3c17d
Author: Elad Alfassa <elad fedoraproject org>
Date:   Wed Nov 7 15:58:33 2012 +0200

    Rename "System Settings" to "Settings"
    
    "System Settings" has been renamed to "Settings" in gnome-control-center.
    See bug https://bugzilla.gnome.org/show_bug.cgi?id=681543
    
    This patch does the same rename in the shell itself, as per
    
    https://bugzilla.gnome.org/show_bug.cgi?id=687738

 js/ui/userMenu.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js
index d1bfdb8..ebfcb0e 100644
--- a/js/ui/userMenu.js
+++ b/js/ui/userMenu.js
@@ -752,7 +752,7 @@ const UserMenuButton = new Lang.Class({
         item = new PopupMenu.PopupSeparatorMenuItem();
         this.menu.addMenuItem(item);
 
-        item = new PopupMenu.PopupMenuItem(_("System Settings"));
+        item = new PopupMenu.PopupMenuItem(_("Settings"));
         item.connect('activate', Lang.bind(this, this._onPreferencesActivate));
         this.menu.addMenuItem(item);
         this._systemSettings = item;