options property

Implementation

PushSubscriptionOptions get options => js_util.getProperty(this, 'options');