Re: [w3c/push-api] Please use Contiguous IDL instead (#216)

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.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/216#issuecomment-264167364