| OLD | NEW | 
|---|
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. | 1 // Copyright 2014 The Chromium Authors. All rights reserved. | 
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be | 
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. | 
| 4 | 4 | 
| 5 // https://w3c.github.io/push-api/#pushmanager-interface | 5 // https://w3c.github.io/push-api/#pushmanager-interface | 
| 6 | 6 | 
| 7 [ | 7 [ | 
| 8     Exposed=(Window,ServiceWorker), | 8     Exposed=(Window,ServiceWorker), | 
| 9     GarbageCollected, | 9     GarbageCollected, | 
| 10     RuntimeEnabled=PushMessaging, | 10     RuntimeEnabled=PushMessaging, | 
| 11 ] interface PushManager { | 11 ] interface PushManager { | 
| 12     [CallWith=ScriptState] Promise<PushSubscription> subscribe(optional PushSubs
    criptionOptions options); | 12     [CallWith=ScriptState, RaisesException] Promise<PushSubscription> subscribe(
    optional PushSubscriptionOptions options); | 
| 13     [CallWith=ScriptState] Promise<PushSubscription?> getSubscription(); | 13     [CallWith=ScriptState] Promise<PushSubscription?> getSubscription(); | 
| 14     [CallWith=ScriptState] Promise permissionState(optional PushSubscriptionOpti
    ons options); | 14     [CallWith=ScriptState, RaisesException] Promise permissionState(optional Pus
    hSubscriptionOptions options); | 
| 15 }; | 15 }; | 
| OLD | NEW | 
|---|