search

w3c / push-api

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

Need to define where the EventHandler type comes from #233

Closed beverloo closed 5 years ago

beverloo commented 7 years ago

We refer to the EventHandler type in the Events section, which is defined in HTML.

Currently we depend on HTML 5.1 for such definitions, however, it does not export the EventHandler type. Instead, it links through to the WHATWG version of the specification, despite defining what it means.

https://www.w3.org/TR/html51/webappapis.html#dom-eventhandlernonnull-event

Is this an oversight? Should we depend on the WHATWG version directly for this type?

marcoscaceres commented 5 years ago

We depend on WHATWG for all underlying web platform stuff now... closing.