Removing chrome.pushMessaging API

chrome/common/extensions/api/push_messaging.idl

Index: chrome/common/extensions/api/push_messaging.idl
diff --git a/chrome/common/extensions/api/push_messaging.idl b/chrome/common/extensions/api/push_messaging.idl
deleted file mode 100644
index 6ebc580a6be9b15b82caf917622aad66131b92c5..0000000000000000000000000000000000000000
--- a/chrome/common/extensions/api/push_messaging.idl
+++ /dev/null
@@ -1,47 +0,0 @@
-// 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.
-
-// The <code>chrome.pushMessaging</code> API is deprecated since Chrome 38,
-// and will no longer be supported in Chrome 41.
-// Switch to <code>$(ref:gcm chrome.gcm)</code> to take advantage of
-// <a href="cloudMessaging.html">Google Cloud Messaging</a>.
-[deprecated="Use $(ref:gcm chrome.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 chrome.gcm) API"]
-    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 chrome.gcm) API"]
-    static void onMessage(Message message);
-  };
-};