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

[Anne van Kesteren]

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/