Enable SVG for dartc and frog

client/dom/generated/src/frog/SVGAnimationElement.dart

Index: client/dom/generated/src/frog/SVGAnimationElement.dart
diff --git a/client/dom/generated/src/frog/SVGAnimationElement.dart b/client/dom/generated/src/frog/SVGAnimationElement.dart
new file mode 100644
index 0000000000000000000000000000000000000000..94be911fdf411d07637fe3fb697d7f2f4ea1a30e
--- /dev/null
+++ b/client/dom/generated/src/frog/SVGAnimationElement.dart
@@ -0,0 +1,35 @@
+
+class SVGAnimationElement extends SVGElement native "SVGAnimationElement" {
+
+  SVGElement targetElement;
+
+  num getCurrentTime() native;
+
+  num getSimpleDuration() native;
+
+  num getStartTime() native;
+
+  // From SVGTests
+
+  SVGStringList requiredExtensions;
+
+  SVGStringList requiredFeatures;
+
+  SVGStringList systemLanguage;
+
+  bool hasExtension(String extension) native;
+
+  // From SVGExternalResourcesRequired
+
+  SVGAnimatedBoolean externalResourcesRequired;
+
+  // From ElementTimeControl
+
+  void beginElement() native;
+
+  void beginElementAt(num offset) native;
+
+  void endElement() native;
+
+  void endElementAt(num offset) native;
+}