Use <pre class=idl> for IDL blocks

[foolip]

A friendly request. 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.

Note that this is already a ReSpec warning: "Defining WebIDL in dl elements is deprecated. Please use Contiguous IDL instead: https://github.com/w3c/respec/wiki/User's-Guide#webidl-support"

[luser]

Yeah, someone filed #47 about the spec not being up-to-date with what ReSpec wants.

[marcoscaceres]

@foolip, let me know of others. I'm trying to fix all of those too.

[marcoscaceres]

Closing as duplicate.

[foolip]

@marcoscaceres, these are the issues for the 7 other specs linked from Blink's IDL that still uses the old style:

• Use <pre class=idl> for IDL blocks clipboard-apis#31
• Use <pre class=idl> for IDL blocks pointerlock#13
• Please use Contiguous IDL instead push-api#216
• Use <pre class=idl> for IDL blocks quota-api#6
• Use <pre class=idl> for IDL blocks selection-api#76
• Respec warning about using Contiguous IDL WebAudio/web-audio-api#833
• Use <pre class=idl> for IDL blocks WebAudio/web-midi-api#170

We'd love to see these fixed.

[marcoscaceres]

@foolip, thanks so much! I'm on it. Will try my best to do them by end of next week (except web audio, which hopefully they will turn to bikeshed).

[foolip]

We will be very grateful, I feared we'd have to go fix these ourselves after waiting a few months :)

[marcoscaceres]

I have write on quite a few of those repos ;)