| Index: Source/modules/push_messaging/PushManager.idl
|
| diff --git a/Source/modules/push_messaging/PushManager.idl b/Source/modules/push_messaging/PushManager.idl
|
| index 4346304f2dd9b9587ee20ff38a6040123f267944..a61bd69c2e088af3938494509a321c659f064fc2 100644
|
| --- a/Source/modules/push_messaging/PushManager.idl
|
| +++ b/Source/modules/push_messaging/PushManager.idl
|
| @@ -8,4 +8,5 @@
|
| GarbageCollected,
|
| ] interface PushManager {
|
| [CallWith=ScriptState, ImplementedAs=registerPushMessaging] Promise register(DOMString senderId);
|
| + [CallWith=ScriptState] Promise hasPermission();
|
| };
|
|
|