This represents a JavaScript enumeration representing the various keys you an request from a PushSubscription as described here: http://www.w3.org/TR/push-api/#idl-def-PushEncryptionKeyName
The PushEvent interface of the Push API represents a push message that has been received.
The PushManager interface of the Push API provides a way to receive notifications from third-party servers as well as request URLs for push notifications.
The PushMessageData interface of the Push API provides methods which let you retrieve the push data sent by a server in various formats.
This represents a JavaScript enumeration describing the state of permissions for pushing described here: http://www.w3.org/TR/push-api/#idl-def-PushPermissionState
A trait used for patching Push API support onto ServiceWorkerGlobalScope.
A trait used for patching Push API support onto ServiceWorkerRegistration.
The PushSubscription interface of the Push API provides a subcription's URL endpoint and allows unsubscription from a push service.
A PushSubscriptionJSON dictionary represents the JSON type of a PushSubscription.
A PushSubscriptionOptions object represents additional options associated with a push subscription.
Static definitions for PushEncryptionKeyName
Static definitions for PushPermissionState
Implicit function for patching Push API support onto ServiceWorkerGlobalScope
Implicit function for patching Push API support onto ServiceWorkerRegistration.
The Push API is currently specified here: http://www.w3.org/TR/2015/WD-push-api-20151215/