diff options
Diffstat (limited to 'chromium/third_party/WebKit/Source/modules/push_messaging/PushManager.idl')
-rw-r--r-- | chromium/third_party/WebKit/Source/modules/push_messaging/PushManager.idl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/chromium/third_party/WebKit/Source/modules/push_messaging/PushManager.idl b/chromium/third_party/WebKit/Source/modules/push_messaging/PushManager.idl new file mode 100644 index 00000000000..4346304f2dd --- /dev/null +++ b/chromium/third_party/WebKit/Source/modules/push_messaging/PushManager.idl @@ -0,0 +1,11 @@ +// Copyright 2014 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. + +[ + NoInterfaceObject, + RuntimeEnabled=PushMessaging, + GarbageCollected, +] interface PushManager { + [CallWith=ScriptState, ImplementedAs=registerPushMessaging] Promise register(DOMString senderId); +}; |