w3c / push-api

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

Please use Contiguous IDL instead #216

Closed martinthomson closed 7 years ago

foolip commented 7 years ago

Yes, please :)

In https://github.com/mdittmer/web-apis @mdittmer is working on tooling for extracting the IDL from specs linked to from Chromium's source code, for the purpose of comparing the IDLs. This will hopefully be a powerful tool for avoiding accidental differences.

In order to avoid having to use a real browser to scrape the IDL, it's useful if a <pre class=idl> block is used. This is one spec that Mark found relying on ReSpec's <dl class=pre> feature.