search

w3c / push-api

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

Add PushManager.supportedContentEncodings #252

Closed beverloo closed 7 years ago

beverloo commented 7 years ago

Fixes #251

beverloo commented 7 years ago

I'm sure the phrasing can be improved, @martinthomson. Most open to suggestions!