getSubscription method
The PushManager.getSubscription() method of the PushManager
interface retrieves an existing push subscription.
It returns a Promise that resolves to a PushSubscription object
containing details of an existing subscription. If no existing
subscription exists, this resolves to a null value.
Implementation
external JSPromise<PushSubscription?> getSubscription();