Generate dart:html bindings for Dartium as well as Frog. All unittests now pass (or are disabled fo…

client/html/generated/html/interface/DOMException.dart

Index: client/html/generated/html/interface/DOMException.dart
diff --git a/client/html/generated/html/interface/DOMException.dart b/client/html/generated/html/interface/DOMException.dart
new file mode 100644
index 0000000000000000000000000000000000000000..88a6666889825e9dad3ed26b33bc10538d8abf69
--- /dev/null
+++ b/client/html/generated/html/interface/DOMException.dart
@@ -0,0 +1,66 @@
+// 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 DOMException {
+
+  static final int ABORT_ERR = 20;
+
+  static final int DATA_CLONE_ERR = 25;
+
+  static final int DOMSTRING_SIZE_ERR = 2;
+
+  static final int HIERARCHY_REQUEST_ERR = 3;
+
+  static final int INDEX_SIZE_ERR = 1;
+
+  static final int INUSE_ATTRIBUTE_ERR = 10;
+
+  static final int INVALID_ACCESS_ERR = 15;
+
+  static final int INVALID_CHARACTER_ERR = 5;
+
+  static final int INVALID_MODIFICATION_ERR = 13;
+
+  static final int INVALID_NODE_TYPE_ERR = 24;
+
+  static final int INVALID_STATE_ERR = 11;
+
+  static final int NAMESPACE_ERR = 14;
+
+  static final int NETWORK_ERR = 19;
+
+  static final int NOT_FOUND_ERR = 8;
+
+  static final int NOT_SUPPORTED_ERR = 9;
+
+  static final int NO_DATA_ALLOWED_ERR = 6;
+
+  static final int NO_MODIFICATION_ALLOWED_ERR = 7;
+
+  static final int QUOTA_EXCEEDED_ERR = 22;
+
+  static final int SECURITY_ERR = 18;
+
+  static final int SYNTAX_ERR = 12;
+
+  static final int TIMEOUT_ERR = 23;
+
+  static final int TYPE_MISMATCH_ERR = 17;
+
+  static final int URL_MISMATCH_ERR = 21;
+
+  static final int VALIDATION_ERR = 16;
+
+  static final int WRONG_DOCUMENT_ERR = 4;
+
+  final int code;
+
+  final String message;
+
+  final String name;
+
+  String toString();
+}