Wrapperless dart:html generator

client/html/generated/html/interface/WebGLCompressedTextures.dart

Index: client/html/generated/html/interface/WebGLCompressedTextures.dart
diff --git a/client/html/generated/html/interface/WebGLCompressedTextures.dart b/client/html/generated/html/interface/WebGLCompressedTextures.dart
new file mode 100644
index 0000000000000000000000000000000000000000..9aea508e667bdbbee80ffc260cf8a815ff7bf37f
--- /dev/null
+++ b/client/html/generated/html/interface/WebGLCompressedTextures.dart
@@ -0,0 +1,24 @@
+// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// WARNING: Do not edit - generated code.
+
+interface WebGLCompressedTextures {
+
+  static final int COMPRESSED_RGBA_PVRTC_4BPPV1_IMG = 0x8C02;
+
+  static final int COMPRESSED_RGBA_S3TC_DXT1_EXT = 0x83F1;
+
+  static final int COMPRESSED_RGBA_S3TC_DXT5_EXT = 0x83F3;
+
+  static final int COMPRESSED_RGB_PVRTC_4BPPV1_IMG = 0x8C00;
+
+  static final int COMPRESSED_RGB_S3TC_DXT1_EXT = 0x83F0;
+
+  static final int ETC1_RGB8_OES = 0x8D64;
+
+  void compressedTexImage2D(int target, int level, int internalformat, int width, int height, int border, ArrayBufferView data);
+
+  void compressedTexSubImage2D(int target, int level, int xoffset, int yoffset, int width, int height, int format, ArrayBufferView data);
+}