Assigned extension #24 to WEBGL_compressed_texture_etc1 extension.