mirror of
https://github.com/servo/servo.git
synced 2025-08-11 00:15:32 +01:00
Update web-platform-tests to revision cfada7e6cb379699fa94c7ed8fcb97082327e10c
This commit is contained in:
parent
87e7e3d429
commit
06b00da16b
179 changed files with 6103 additions and 1186 deletions
|
@ -12,9 +12,9 @@ partial interface ServiceWorkerRegistration {
|
|||
interface PushManager {
|
||||
[SameObject] static readonly attribute FrozenArray<DOMString> supportedContentEncodings;
|
||||
|
||||
Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options);
|
||||
Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
|
||||
Promise<PushSubscription?> getSubscription();
|
||||
Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options);
|
||||
Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
|
||||
};
|
||||
|
||||
[Exposed=(Window,Worker), SecureContext]
|
||||
|
@ -64,7 +64,7 @@ partial interface ServiceWorkerGlobalScope {
|
|||
attribute EventHandler onpushsubscriptionchange;
|
||||
};
|
||||
|
||||
[Constructor(DOMString type, optional PushEventInit eventInitDict), Exposed=ServiceWorker, SecureContext]
|
||||
[Constructor(DOMString type, optional PushEventInit eventInitDict = {}), Exposed=ServiceWorker, SecureContext]
|
||||
interface PushEvent : ExtendableEvent {
|
||||
readonly attribute PushMessageData? data;
|
||||
};
|
||||
|
@ -75,13 +75,13 @@ dictionary PushEventInit : ExtendableEventInit {
|
|||
PushMessageDataInit data;
|
||||
};
|
||||
|
||||
[Constructor(DOMString type, optional PushSubscriptionChangeInit eventInitDict), Exposed=ServiceWorker, SecureContext]
|
||||
[Constructor(DOMString type, optional PushSubscriptionChangeEventInit eventInitDict = {}), Exposed=ServiceWorker, SecureContext]
|
||||
interface PushSubscriptionChangeEvent : ExtendableEvent {
|
||||
readonly attribute PushSubscription? newSubscription;
|
||||
readonly attribute PushSubscription? oldSubscription;
|
||||
};
|
||||
|
||||
dictionary PushSubscriptionChangeInit : ExtendableEventInit {
|
||||
dictionary PushSubscriptionChangeEventInit : ExtendableEventInit {
|
||||
PushSubscription newSubscription = null;
|
||||
PushSubscription oldSubscription = null;
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue