w3c / push-api

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

Editorial: cleanup + xrefs #330

Closed marcoscaceres closed 3 years ago

marcoscaceres commented 3 years ago

Cleaned up a few little issues.

Small but noticeable change: as there is no such thing anymore in WebIDL as "getting the underlying value" (and "getter steps" is not a concept exported from WebIDL [1]), I defined+linked-to the appropriate getter algorithms in the spec.

[1] https://github.com/heycam/webidl/commit/ea3af2cfb2a8204ac17da27c347d760ae12b4d0a


Preview | Diff