| Index: chrome/common/extensions/api/experimental_push_messaging.idl
|
| diff --git a/chrome/common/extensions/api/experimental_push_messaging.idl b/chrome/common/extensions/api/experimental_push_messaging.idl
|
| index 1a27433dfbbc5d75b3cc838dc7f3fd98261b8d1c..6a00f12ee97d61f356dc4b08c0ae9d2a5f4bd9bd 100644
|
| --- a/chrome/common/extensions/api/experimental_push_messaging.idl
|
| +++ b/chrome/common/extensions/api/experimental_push_messaging.idl
|
| @@ -13,6 +13,20 @@
|
| 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 extension. Typically, an
|
| + // extension will want to send this value to its application server so the
|
| + // server can use it to trigger push messages back to the extension.
|
| + static void getChannelId(ChannelIdCallback callback);
|
| + };
|
| +
|
| interface Events {
|
| // Fired when a push message has been received.
|
| // |message| : The details associated with the message.
|
|
|