仕様書
- [3] Push API, https://w3c.github.io/push-api/#dom-serviceworkerregistration-pushmanager
- [7] Push API, https://w3c.github.io/push-api/#pushmanager-interface
PushManager インターフェイス
[8] PushManager
は、プッシュサービスへのアクセスを提供するものです。
>>7
[9] 文書環境とワーカー環境に晒されます。
secure context 専用です。
>>7
[10] PushManagersupportedContentEncodingssubscribegetSubscriptionpermissionState
hasPermissionregisterregistrationsunregister
ServiceWorkerRegistration インターフェイス pushManager 属性
[4]
ServiceWorkerRegistration
インターフェイスの
pushManager
属性は、次のようにしなければなりません。
- [5] 文脈オブジェクトの
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
がありました。