search

w3c / push-api

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

Duplicate definition of PushPermissionDescriptor #343

Closed dontcallmedom closed 2 years ago

dontcallmedom commented 2 years ago

PushPermissionDescriptor is defined via an IDL fragment both in the Push API and in the Permissions spec. It should be defined in only one place.

cc @marcoscaceres

marcoscaceres commented 2 years ago

Yep, there is a PR to remove it from the Permissions spec. Just waiting on review. Should be fixed in 12 hours.