https://github.com/microsoft/TypeScript/issues/39655

Author: ShukantPal

inputfiles/idl/WebGL WEBGL_compressed_texture_atc.widl

@@ -0,0 +1,7 @@
+[NoInterfaceObject]
+interface WEBGL_compressed_texture_atc {
+    /* Compressed Texture Format */
+    const GLenum COMPRESSED_RGB_ATC_WEBGL = 0x8C92;
+    const GLenum COMPRESSED_RGBA_ATC_EXPLICIT_ALPHA_WEBGL = 0x8C92; // TODO: Is this a bug on the MDN site?
+    const GLenum COMPRESSED_RGBA_ATC_INTERPOLATED_ALPHA_WEBGL = 0x87EE;
+};

inputfiles/idl/WebGL WEBGL_compressed_texture_etc1.widl

@@ -0,0 +1,5 @@
+[NoInterfaceObject]
+interface WEBGL_compressed_texture_etc1 {
+    /* Compressed Texture Format */
+    const GLenum COMPRESSED_RGB_ETC1_WEBGL = 0x8D64;
+};

inputfiles/idl/WebGL WEBGL_compressed_texture_pvrtc.widl

@@ -0,0 +1,8 @@
+[NoInterfaceObject]
+interface WEBGL_compressed_texture_pvrtc {
+    /* Compressed Texture Formats */
+    const GLenum COMPRESSED_RGB_PVRTC_4BPPV1_IMG = 0x8C00;
+    const GLenum COMPRESSED_RGBA_PVRTC_4BPPV1_IMG = 0x8C02;
+    const GLenum COMPRESSED_RGB_PVRTC_2BPPV1_IMG = 0x8C01;
+    const GLenum COMPRESSED_RGBA_PVRTC_2BPPV1_IMG = 0x8C03;
+};

inputfiles/idlSources.json

@@ -615,6 +615,18 @@
         "url": "https://www.khronos.org/registry/webgl/extensions/WEBGL_compressed_texture_s3tc_srgb/",
         "title": "WebGL WEBGL_compressed_texture_s3tc_srgb"
     },
+    {
+        "url": "https://www.khronos.org/registry/webgl/extensions/WEBGL_compressed_texture_pvrtc/",
+        "title": "WebGL WEBGL_compressed_texture_pvrtc"
+    },
+    {
+        "url": "https://www.khronos.org/registry/webgl/extensions/WEBGL_compressed_texture_etc1/",
+        "title": "WebGL WEBGL_compressed_texture_etc1"
+    },
+    {
+        "url": "https://www.khronos.org/registry/webgl/extensions/WEBGL_compressed_texture_atc/",
+        "title": "WebGL WEBGL_compressed_texture_atc"
+    },
     {
         "url": "https://www.khronos.org/registry/webgl/extensions/WEBGL_debug_renderer_info/",
         "title": "WebGL WEBGL_debug_renderer_info"