Add deprecation message in chrome.pushMessaging API

chrome/common/extensions/api/push_messaging.idl

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
-// Use <code>chrome.pushMessaging</code> to enable apps and extensions to
-// receive message data sent through
+// The <code>chrome.pushMessaging</code> API is currently deprecated since

[not at google - send to devlin, 2014/08/21 00:36:33]

No "currently".

[fgorski, 2014/08/22 18:23:38]

Done.

+// Chrome 38, and will no longer be supported in Chrome 40.
+// Switch to <code>$(ref:gcm)</code> to take advantage of
 // <a href="cloudMessaging.html">Google Cloud Messaging</a>.
+[deprecated="Use $(ref:gcm) API"]
 namespace pushMessaging {
 
   dictionary Message {
     // The subchannel the message was sent on;
     // only values 0-3 are valid.
     long subchannelId;
 
     // The payload associated with the message, if any. This should not contain
     // any personally identifiable information.
     DOMString payload;
   };
 
   dictionary ChannelIdResult {
     // The channel ID for this app to use for push messaging.
     DOMString channelId;
   };
 
   callback ChannelIdCallback = void (ChannelIdResult channelId);
 
   interface Functions {
     // Retrieves the channel ID associated with this app or extension.
     // Typically an app or extension will want to send this value
     // to its application server so the server can use it
     // to trigger push messages back to the app or extension.
     // If the interactive flag is set, we will ask the user to log in
     // when they are not already logged in.
+    [deprecated="Use $(ref:gcm) API"]

[not at google - send to devlin, 2014/08/21 00:36:33]

Nit: seems like it should read either "the gcm API" or just "gcm", so "Use
$(ref:gcm chrome.gcm)" or "$Use the $(ref:gcm chrome.gcm API)".

[fgorski, 2014/08/22 18:23:39]

Done.

     static void getChannelId(optional boolean interactive,
                              ChannelIdCallback callback);
   };
 
   interface Events {
     // Fired when a push message has been received.
     // |message| : The details associated with the message.
+    [deprecated="Use $(ref:gcm)"]
     static void onMessage(Message message);
   };
 };