web/notify.moe
Code Issues Pull Requests Activity

Improved push subscription change event

Browse Source
This commit is contained in:
Eduard Urbach
2019-11-20 17:27:50 +09:00
parent 2d139e6381
commit 3a3867cc21
2 changed files with 43 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
scripts/ServiceWorker/index.d.ts vendored
View File

@ -484,6 +484,11 @@ interface PushEvent extends ExtendableEvent {
readonly data: PushMessageData;
}
interface PushSubscriptionChangeEvent extends ExtendableEvent {
readonly newSubscription: PushSubscription;
readonly oldSubscription: PushSubscription;
}
interface ServiceWorkerContainerEventMap {
"error": ErrorEvent;
"controllerchange": Event;