Fix missing tag in WEBGL_color_buffer_float extension.xml