[html5] What happened to developers.whatwg.org?

Domenic Denicola d at domenic.me
Wed Jul 5 04:59:47 PDT 2017

See also https://blog.whatwg.org/developers-edition-comeback . We're sorry about the missing search box, and will hopefully be able to add it back soon!!

-----Original Message-----
From: Help [mailto:help-bounces at lists.whatwg.org] On Behalf Of Anne van Kesteren
Sent: Wednesday, July 5, 2017 07:37
To: Jorge . <chocolate.camera at gmail.com>
Cc: help at lists.whatwg.org
Subject: Re: [html5] What happened to developers.whatwg.org?

On Wed, Jul 5, 2017 at 1:05 PM, Jorge . <chocolate.camera at gmail.com> wrote:
> developers.whatwg.org used to be my go-to reference for everything 
> HTML, mainly due to its nice search box. Now it redirects to 
> https://html.spec.whatwg.org/dev/ instead, which has no search box.
> How come?

That is tracked in https://github.com/whatwg/html/issues/2779. The benefit of updating it (the old version was no longer maintained) likely outweighs the omission of this feature, though hopefully it will be added back soonish.

whatwg at whatwg.org

More information about the Help mailing list