The WEBGL_compressed_texture_etc1 extension is part of the WebGL API and exposes the ETC1 compressed texture format.
WEBGL_compressed_texture_etc1
MDN Reference