PropsPushSubscriptionChangeEventInit extension

on

Properties

newSubscription PushSubscription
getter/setter pair
oldSubscription PushSubscription
getter/setter pair