Merged https://github.com/KhronosGroup/WebGL/pull/212 to trunk.