Interface

PushManager

PushManager

This Push API interface provides a way to receive notifications from third-party servers as well as request URLs for push notifications.

View Source js/lib.dom.d.ts, line 5544