401bb9e0dd
A bug in the wptsync caused us to miss some pushes during recent updates. This commit copies the head of wpt at the specified revision over and re-applies local patches that weren't in that revision. That means we should be able to resume normal syncs after fixing the bug. wpt-head: 55e3f8d27d6be17fa75bebe426c39cc51b3b26d4 wpt-type: landing Differential Revision: https://phabricator.services.mozilla.com/D90823
31 lines
832 B
Plaintext
31 lines
832 B
Plaintext
// GENERATED CONTENT - DO NOT EDIT
|
|
// Content was automatically extracted by Reffy into webref
|
|
// (https://github.com/w3c/webref)
|
|
// Source: Web Background Synchronization (https://wicg.github.io/background-sync/spec/)
|
|
|
|
partial interface ServiceWorkerRegistration {
|
|
readonly attribute SyncManager sync;
|
|
};
|
|
|
|
[Exposed=(Window,Worker)]
|
|
interface SyncManager {
|
|
Promise<void> register(DOMString tag);
|
|
Promise<sequence<DOMString>> getTags();
|
|
};
|
|
|
|
partial interface ServiceWorkerGlobalScope {
|
|
attribute EventHandler onsync;
|
|
};
|
|
|
|
[Exposed=ServiceWorker]
|
|
interface SyncEvent : ExtendableEvent {
|
|
constructor(DOMString type, SyncEventInit init);
|
|
readonly attribute DOMString tag;
|
|
readonly attribute boolean lastChance;
|
|
};
|
|
|
|
dictionary SyncEventInit : ExtendableEventInit {
|
|
required DOMString tag;
|
|
boolean lastChance = false;
|
|
};
|