| Index: Source/modules/push_messaging/PushManager.idl
|
| diff --git a/Source/modules/push_messaging/PushManager.idl b/Source/modules/push_messaging/PushManager.idl
|
| index 149b8d2b4e50080fd0749ab396916c283a60961c..b9b6afea4b502b632fbad7fc46253a3b20e7fef0 100644
|
| --- a/Source/modules/push_messaging/PushManager.idl
|
| +++ b/Source/modules/push_messaging/PushManager.idl
|
| @@ -10,4 +10,5 @@
|
| GarbageCollected,
|
| ] interface PushManager {
|
| [CallWith=ScriptState, ImplementedAs=registerPushMessaging] Promise register();
|
| + [CallWith=ScriptState] Promise hasPermission();
|
| };
|
|
|