PushSubscriptionOptionsInit
js.html.push.PushSubscriptionOptionsInit
(Typedef)