w3c / push-api

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

json() should be defined in terms of Infra #381

Closed annevk closed 2 months ago

annevk commented 2 months ago

It should use https://infra.spec.whatwg.org/#parse-json-bytes-to-a-javascript-value directly.