KhronosGroup/WebGL — pull request #780 by Oletus (2014-11-07 16:14:05+00:00)
Title: Be consistent with regards to GL_ prefix in extension names

EXT_shader_texture_lod spec was missing this in one tag that has it in
other extension specs.