diff --git a/index.html b/index.html index 4e7a421..9f34971 100644 --- a/index.html +++ b/index.html @@ -672,6 +672,7 @@

The PushManager interface defines the operations to access push services.

+        [Exposed=(Window,Worker)]
         interface PushManager {
           [SameObject] static readonly attribute FrozenArray<DOMString> supportedContentEncodings;
 
@@ -845,6 +846,7 @@ 

(BufferSource or DOMString)? applicationServerKey = null; }; + [Exposed=(Window,Worker)] interface PushSubscriptionOptions { readonly attribute boolean userVisibleOnly; [SameObject] readonly attribute ArrayBuffer? applicationServerKey; @@ -883,6 +885,7 @@

A PushSubscription object represents a push subscription.

+        [Exposed=(Window,Worker)]
         interface PushSubscription {
           readonly attribute USVString endpoint;
           readonly attribute DOMTimeStamp? expirationTime;
@@ -1117,6 +1120,7 @@ 

interface [[!SERVICE-WORKERS]], which this specification extends.

+          [Exposed=(Window,Worker)]
           partial interface ServiceWorkerGlobalScope {
             attribute EventHandler onpush;
             attribute EventHandler onpushsubscriptionchange;