Moving WebIDL

[plehegar]

• Document is published by WHATWG
• w3.org/TR/WebIDL points to WHATWG/WebIDL
• W3C Web Platform Working Group gets closed
• W3C WebApps charter gets updated to include WebIDL
• W3C retires WebIDL 1

Q: Shall W3C retire WebIDL Level 1 or do we need to wait for W3C to endorse one WHATWG/WebIDL as REC to do so? (reminder: the plan is not endorse as REC unless someone the WG asks to do so)

[plehegar]

If we follow the example of CORS, the answer is yes, we should retire WebIDL Level 1, even if we don't have a REC republished.

[plehegar]

WebApps charter: w3c/webappswg#49

[foolip]

WHATWG workstream creation is in whatwg/sg#167

[plehegar]

One more point: W3C should probably supersede WebIDL 1 once the WHATWG stream is up.

[foolip]

@annevk and I have coordinated with @heycam today to get https://webidl.spec.whatwg.org/ up and https://heycam.github.io/webidl/ redirecting. I've checked the "Document is published by WHATWG" box in the description to reflect this.

[plehegar]

I added whatwg/meta#223

[plehegar]

/TR/WebIDL now redirects to WHATWG WebIDL. Note that /TR/WebIDL-1 waits for WebIDL to get retired.

[plehegar]

Waiting on https://www.w3.org/Member/wiki/DirectorFOdashboard#Web_Applications_proposed_charter

[sideshowbarker]

https://www.w3.org/TR/WebIDL-1/ now redirects to https://webidl.spec.whatwg.org/