New version of dart:html

client/html/generated/src/wrapping/_HtmlElementWrappingImplementation.dart

Index: client/html/generated/src/wrapping/_HtmlElementWrappingImplementation.dart
diff --git a/client/html/generated/src/wrapping/_HtmlElementWrappingImplementation.dart b/client/html/generated/src/wrapping/_HtmlElementWrappingImplementation.dart
deleted file mode 100644
index f4cd1953ef703b3bc213fa418b3ec28005e9e440..0000000000000000000000000000000000000000
--- a/client/html/generated/src/wrapping/_HtmlElementWrappingImplementation.dart
+++ /dev/null
@@ -1,17 +0,0 @@
-// Copyright (c) 2011, 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.
-
-class HtmlElementWrappingImplementation extends ElementWrappingImplementation implements HtmlElement {
-  HtmlElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {}
-
-  String get manifest() { return _ptr.manifest; }
-
-  void set manifest(String value) { _ptr.manifest = value; }
-
-  String get version() { return _ptr.version; }
-
-  void set version(String value) { _ptr.version = value; }
-}