仕様書

PushManager インターフェイス

[8] PushManager は、プッシュサービスへのアクセスを提供するものです。 >>7

[9] 文書環境とワーカー環境に晒されます。 secure context 専用です。 >>7

ServiceWorkerRegistration インターフェイス pushManager 属性

[4] ServiceWorkerRegistration インターフェイスの pushManager 属性は、次のようにしなければなりません。

[6] サービスワーカー登録の PushManager は、 関連付けられたサービスワーカー登録が当該サービスワーカー登録であるような PushManager です。 >>3

歴史

[1] WebAPI/PushAPI - MozillaWiki ( (2013-03-24 03:48:50 +09:00 版)) https://wiki.mozilla.org/WebAPI/PushAPI

[2] Define exposure of the Push API interfaces (beverloo著, 2017-05-04 01:32:20 +09:00) https://github.com/w3c/push-api/commit/350ee328178b1635f141412831892b16cb711305

[11] 以前は似た機能の PushRegistrationManager がありました。