Assigned extension #24 to WEBGL_compressed_texture_etc1 extension.
Merge pull request #432 from kenrussell/etc-number

Assigned extension #24 to WEBGL_compressed_texture_etc1 extension.