Dart
dart:html
PushSubscription
options property
description
options property
PushSubscriptionOptions
options
final
Implementation
final
PushSubscriptionOptions options