KhronosGroup/WebGL — pull request #695 by Oletus (2014-09-11 13:15:00+00:00)
Title: Fix minor issues in float texture extension specs

WEBGL_color_buffer_float had a wrong name for the interface, increasing
confusion between it and EXT_color_buffer_float. Also OES_texture_float
and OES_texture_half_float extensions had broken links.
OES_texture_half_float also incorrectly used OES prefix for
EXT_color_buffer_half_float.