PushManager
インターフェイス#✎[8] PushManager
は、プッシュサービスへのアクセスを提供するものです。
>>7
[9] 文書環境とワーカー環境に晒されます。 secure context 専用です。 >>7
PushManager
ServiceWorkerRegistration
インターフェイス pushManager
属性#✎[4]
ServiceWorkerRegistration
インターフェイスの
pushManager
属性は、次のようにしなければなりません。
PushManager
を返します。[6]
サービスワーカー登録の PushManager
は、
関連付けられたサービスワーカー登録が当該サービスワーカー登録であるような
PushManager
です。
>>3
[1] WebAPI/PushAPI - MozillaWiki ( ( 版)) https://wiki.mozilla.org/WebAPI/PushAPI
[2] Define exposure of the Push API interfaces (beverloo著, ) https://github.com/w3c/push-api/commit/350ee328178b1635f141412831892b16cb711305
[11]
以前は似た機能の
PushRegistrationManager
がありました。