search

w3c / push-api

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

Editorial: define and export 'push' permission #344

Closed marcoscaceres closed 2 years ago

marcoscaceres commented 2 years ago

Related test: https://github.com/web-platform-tests/wpt/pull/33200

Preview | Diff

marcoscaceres commented 2 years ago

I'm going to go ahead and merge this, as it doesn't have any normative impact.

marcoscaceres commented 2 years ago

I'm going to go ahead and merge this, as it doesn't have any normative impact.