New version of dart:html

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

Index: client/html/generated/src/wrapping/_SVGMaskElementWrappingImplementation.dart
diff --git a/client/html/generated/src/wrapping/_SVGMaskElementWrappingImplementation.dart b/client/html/generated/src/wrapping/_SVGMaskElementWrappingImplementation.dart
new file mode 100644
index 0000000000000000000000000000000000000000..47933e91e679476d63aab0fe0e9f2e45d6beb6b0
--- /dev/null
+++ b/client/html/generated/src/wrapping/_SVGMaskElementWrappingImplementation.dart
@@ -0,0 +1,57 @@
+// 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 SVGMaskElementWrappingImplementation extends SVGElementWrappingImplementation implements SVGMaskElement {
+  SVGMaskElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {}
+
+  SVGAnimatedLength get height() { return LevelDom.wrapSVGAnimatedLength(_ptr.height); }
+
+  SVGAnimatedEnumeration get maskContentUnits() { return LevelDom.wrapSVGAnimatedEnumeration(_ptr.maskContentUnits); }
+
+  SVGAnimatedEnumeration get maskUnits() { return LevelDom.wrapSVGAnimatedEnumeration(_ptr.maskUnits); }
+
+  SVGAnimatedLength get width() { return LevelDom.wrapSVGAnimatedLength(_ptr.width); }
+
+  SVGAnimatedLength get x() { return LevelDom.wrapSVGAnimatedLength(_ptr.x); }
+
+  SVGAnimatedLength get y() { return LevelDom.wrapSVGAnimatedLength(_ptr.y); }
+
+  // From SVGTests
+
+  SVGStringList get requiredExtensions() { return LevelDom.wrapSVGStringList(_ptr.requiredExtensions); }
+
+  SVGStringList get requiredFeatures() { return LevelDom.wrapSVGStringList(_ptr.requiredFeatures); }
+
+  SVGStringList get systemLanguage() { return LevelDom.wrapSVGStringList(_ptr.systemLanguage); }
+
+  bool hasExtension(String extension) {
+    return _ptr.hasExtension(extension);
+  }
+
+  // From SVGLangSpace
+
+  String get xmllang() { return _ptr.xmllang; }
+
+  void set xmllang(String value) { _ptr.xmllang = value; }
+
+  String get xmlspace() { return _ptr.xmlspace; }
+
+  void set xmlspace(String value) { _ptr.xmlspace = value; }
+
+  // From SVGExternalResourcesRequired
+
+  SVGAnimatedBoolean get externalResourcesRequired() { return LevelDom.wrapSVGAnimatedBoolean(_ptr.externalResourcesRequired); }
+
+  // From SVGStylable
+
+  SVGAnimatedString get className() { return LevelDom.wrapSVGAnimatedString(_ptr.className); }
+
+  CSSStyleDeclaration get style() { return LevelDom.wrapCSSStyleDeclaration(_ptr.style); }
+
+  CSSValue getPresentationAttribute(String name) {
+    return LevelDom.wrapCSSValue(_ptr.getPresentationAttribute(name));
+  }
+}