PushSubscriptionOptions

PushSubscriptionOptions

[1] Define exposure of the Push API interfaces (beverloo著, ) https://github.com/w3c/push-api/commit/350ee328178b1635f141412831892b16cb711305