PushSubscriptionChangeEvent.webidl (839B)
1 /* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ 2 /* This Source Code Form is subject to the terms of the Mozilla Public 3 * License, v. 2.0. If a copy of the MPL was not distributed with this file, 4 * You can obtain one at http://mozilla.org/MPL/2.0/. 5 * 6 * The origin of this IDL file is 7 * https://w3c.github.io/push-api/#pushsubscriptionchangeevent-interface 8 */ 9 10 [Exposed=ServiceWorker] 11 interface PushSubscriptionChangeEvent : ExtendableEvent { 12 constructor(DOMString type, optional PushSubscriptionChangeEventInit eventInitDict = {}); 13 readonly attribute PushSubscription? newSubscription; 14 readonly attribute PushSubscription? oldSubscription; 15 }; 16 17 dictionary PushSubscriptionChangeEventInit : ExtendableEventInit { 18 PushSubscription? newSubscription = null; 19 PushSubscription? oldSubscription = null; 20 };