w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
145 stars 40 forks source link

Editorial: allOptions #281

Closed annevk closed 7 years ago

annevk commented 7 years ago

Let allOptions be the value of the options argument, if provided, or a PushSubscriptionOptions dictionary with default values.

This isn't really needed. By the time your algorithm runs this is already done. So you should just refer to options directly.