[gnome-shell] appFavorites: Add games to the rename list

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 91e266113c59125f72265c78301eb99b2229d536
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Mon Sep 15 17:03:27 2014 -0500

    appFavorites: Add games to the rename list
    
    Can't wait to double the size of this list when these start using D-Bus
    activation.
    
    These were actually renamed in GNOME 3.12, but we couldn't do anything
    about it before, and now we can.

 js/ui/appFavorites.js |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 86d38c4..3be6d14 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -14,6 +14,10 @@ const RENAMED_DESKTOP_IDS = {
     'gcalctool.desktop': 'gnome-calculator.desktop',
     'gedit.desktop': 'org.gnome.gedit.desktop',
     'glchess.desktop': 'gnome-chess.desktop',
+    'glines.desktop': 'five-or-more.desktop',
+    'gnect.desktop': 'four-in-a-row.desktop',
+    'gnibbles.desktop': 'gnome-nibbles.desktop',
+    'gnobots2.desktop': 'gnome-robots.desktop',
     'gnome-clocks.desktop': 'org.gnome.clocks.desktop',
     'gnome-contacts.desktop': 'org.gnome.Contacts.desktop',
     'gnome-documents.desktop': 'org.gnome.Documents.desktop',
@@ -23,6 +27,9 @@ const RENAMED_DESKTOP_IDS = {
     'gnome-software.desktop': 'org.gnome.Software.desktop',
     'gnome-weather.desktop': 'org.gnome.Weather.Application.desktop',
     'gnomine.desktop': 'gnome-mines.desktop',
+    'gnotravex.desktop': 'gnome-tetravex.desktop',
+    'gnotski.desktop': 'gnome-klotski.desktop',
+    'gtali.desktop': 'tali.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',
     'totem.desktop': 'org.gnome.Totem.desktop',