Update favorites patch

gnome-shell-favourite-apps-firefox.patch

@@ -1,6 +1,8 @@
---- gnome-shell-3.13.90/data/org.gnome.shell.gschema.xml.in.firefox	2014-08-20 20:28:07.601133033 +0200
-+++ gnome-shell-3.13.90/data/org.gnome.shell.gschema.xml.in	2014-08-20 20:28:41.741503518 +0200
-@@ -31,7 +31,7 @@
+diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in
+index 24e2a75b0..2f50036d0 100644
+--- a/data/org.gnome.shell.gschema.xml.in
++++ b/data/org.gnome.shell.gschema.xml.in
+@@ -39,7 +39,7 @@
        </description>
      </key>
      <key name="favorite-apps" type="as">
@@ -9,13 +11,15 @@
        <summary>List of desktop file IDs for favorite applications</summary>
        <description>
          The applications corresponding to these identifiers
+diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
+index 5f17c806d..0d2fba68c 100644
 --- a/js/ui/appFavorites.js
 +++ b/js/ui/appFavorites.js
-@@ -31,6 +31,7 @@ const RENAMED_DESKTOP_IDS = {
-     'gnotravex.desktop': 'gnome-tetravex.desktop',
+@@ -42,6 +42,7 @@ const RENAMED_DESKTOP_IDS = {
      'gnotski.desktop': 'gnome-klotski.desktop',
      'gtali.desktop': 'tali.desktop',
+     'iagno.desktop': 'org.gnome.Iagno.desktop',
 +    'mozilla-firefox.desktop': 'firefox.desktop',
      'nautilus.desktop': 'org.gnome.Nautilus.desktop',
+     'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop',
      'polari.desktop': 'org.gnome.Polari.desktop',
-     'totem.desktop': 'org.gnome.Totem.desktop',