| 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 7f7f137105d2dc51854e9182bd53c8d11beaab24..67ae036057f8bcf41322bee2f92ea939afdea436 100644
|
| --- a/third_party/WebKit/Source/modules/push_messaging/PushManager.idl
|
| +++ b/third_party/WebKit/Source/modules/push_messaging/PushManager.idl
|
| @@ -8,7 +8,7 @@
|
| Exposed=(Window,ServiceWorker),
|
| RuntimeEnabled=PushMessaging,
|
| ] interface PushManager {
|
| - [CallWith=ScriptState, RaisesException] Promise<PushSubscription> subscribe(optional PushSubscriptionOptions options);
|
| + [CallWith=ScriptState, RaisesException] Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options);
|
| [CallWith=ScriptState] Promise<PushSubscription?> getSubscription();
|
| - [CallWith=ScriptState, RaisesException] Promise permissionState(optional PushSubscriptionOptions options);
|
| + [CallWith=ScriptState, RaisesException] Promise permissionState(optional PushSubscriptionOptionsInit options);
|
| };
|
|
|