KhronosGroup/WebGL — pull request #782 by Oletus (2014-11-10 12:46:15+00:00)
Title: Add an #pragma directive toggle to WEBGL_debug_shader_precision

Also includes a few small clarifications to the extension spec.