New version of dart:html

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

Index: client/html/generated/src/wrapping/_SVGAnimationElementWrappingImplementation.dart
diff --git a/client/html/generated/src/wrapping/_SVGAnimationElementWrappingImplementation.dart b/client/html/generated/src/wrapping/_SVGAnimationElementWrappingImplementation.dart
new file mode 100644
index 0000000000000000000000000000000000000000..6036a81fd7b50aa6c2192fc5ecfbf06aeafeac02
--- /dev/null
+++ b/client/html/generated/src/wrapping/_SVGAnimationElementWrappingImplementation.dart
@@ -0,0 +1,61 @@
+// 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 SVGAnimationElementWrappingImplementation extends SVGElementWrappingImplementation implements SVGAnimationElement {
+  SVGAnimationElementWrappingImplementation._wrap(ptr) : super._wrap(ptr) {}
+
+  SVGElement get targetElement() { return LevelDom.wrapSVGElement(_ptr.targetElement); }
+
+  num getCurrentTime() {
+    return _ptr.getCurrentTime();
+  }
+
+  num getSimpleDuration() {
+    return _ptr.getSimpleDuration();
+  }
+
+  num getStartTime() {
+    return _ptr.getStartTime();
+  }
+
+  // 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 SVGExternalResourcesRequired
+
+  SVGAnimatedBoolean get externalResourcesRequired() { return LevelDom.wrapSVGAnimatedBoolean(_ptr.externalResourcesRequired); }
+
+  // From ElementTimeControl
+
+  void beginElement() {
+    _ptr.beginElement();
+    return;
+  }
+
+  void beginElementAt(num offset) {
+    _ptr.beginElementAt(offset);
+    return;
+  }
+
+  void endElement() {
+    _ptr.endElement();
+    return;
+  }
+
+  void endElementAt(num offset) {
+    _ptr.endElementAt(offset);
+    return;
+  }
+}