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); |
}; |