| Index: third_party/WebKit/Source/modules/push_messaging/PushManager.idl
|
| diff --git a/third_party/WebKit/Source/modules/push_messaging/PushManager.idl b/third_party/WebKit/Source/modules/push_messaging/PushManager.idl
|
| index ddb613921d1989001a83a466f87a3a389e568f74..0c4ff8641033a34473d5629424e84df507ca6239 100644
|
| --- a/third_party/WebKit/Source/modules/push_messaging/PushManager.idl
|
| +++ b/third_party/WebKit/Source/modules/push_messaging/PushManager.idl
|
| @@ -9,7 +9,7 @@
|
| GarbageCollected,
|
| RuntimeEnabled=PushMessaging,
|
| ] interface PushManager {
|
| - [CallWith=ScriptState] Promise<PushSubscription> subscribe(optional PushSubscriptionOptions options);
|
| + [CallWith=ScriptState, RaisesException] Promise<PushSubscription> subscribe(optional PushSubscriptionOptions options);
|
| [CallWith=ScriptState] Promise<PushSubscription?> getSubscription();
|
| - [CallWith=ScriptState] Promise permissionState(optional PushSubscriptionOptions options);
|
| + [CallWith=ScriptState, RaisesException] Promise permissionState(optional PushSubscriptionOptions options);
|
| };
|
|
|