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

[Domenic Denicola]

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.


--
https://annevankesteren.nl/
_______________________________________________
whatwg at whatwg.org
https://whatwg.org/mailing-list#specs