KhronosGroup/WebGL — pull request #334 by grorg (2013-08-02 14:28:59+00:00)
Title: Clarify the behavior of extensions if the WebGL rendering context is lost.

All extensions are disabled when the WebGLRendering context is lost, with
the exception of WEBGL_lose_context. Include this in the section on
extensions, as well as the steps to perform in the case of a lost context.

Also update the WEBGL_lose_context extension spec to point out that
it is an exception to the rule.