Removing chrome.pushMessaging API

chrome/common/extensions/docs/templates/json/apps_sidenav.json

 [
   {
     "title": "Discover",
     "items": [
       {
         "title": "What Are Chrome Apps?",
         "href": "/apps/about_apps"
       }
     ]
   },
@@ skipping 117 matching lines @@
               {
                 "title": "Cloud Messaging",
                 "toggleable": true,
                 "items": [
                   {
                     "title": "About Cloud Messaging",
                     "href": "/apps/cloudMessaging"
                   },
                   {
                     "title": "Client Reference",
-                    "href": "/apps/pushMessaging"

[not at google - send to devlin, 2015/03/18 23:14:58]

There are also files like pushMessaging.html which you shouldn't *delete*
(broken links are bad), but you should just change to be "chrome.pushMessaging
is no longer supported, use chrome.gcm instead". Similar to what you already
have - just without any of the unnecessary documentation still there.

-                  },
-                  {
-                    "title": "Service Reference",
-                    "href": "/apps/gcm_server"
-                  },
-                  {
-                    "title": "Terms of Service",
-                    "href": "/apps/gcm_tos"
+                    "href": "/apps/gcm"
                   }
                 ]
               },
               {
                 "title": "Cloud Storage",
                 "toggleable": true,
                 "items": [
                   {
                     "title": "chrome.storage",
                     "href": "/apps/storage"
@@ skipping 120 matching lines @@
         "title": "Google Groups",
         "href": "https://groups.google.com/a/chromium.org/forum/#!forum/chromium-apps"
       },
       {
         "title": "Stack Overflow",
         "href": "http://stackoverflow.com/questions/tagged/google-chrome-app"
       }
     ]
   }
 ]