| Index: client/html/generated/src/interface/SVGAnimationElement.dart
|
| diff --git a/client/html/generated/src/interface/HtmlElement.dart b/client/html/generated/src/interface/SVGAnimationElement.dart
|
| similarity index 54%
|
| copy from client/html/generated/src/interface/HtmlElement.dart
|
| copy to client/html/generated/src/interface/SVGAnimationElement.dart
|
| index a4d11d1f9350d5417b29bbff11d5025561cb2418..030aa0d98a0ccdc12602c9447b63af16f4498541 100644
|
| --- a/client/html/generated/src/interface/HtmlElement.dart
|
| +++ b/client/html/generated/src/interface/SVGAnimationElement.dart
|
| @@ -4,13 +4,13 @@
|
|
|
| // WARNING: Do not edit - generated code.
|
|
|
| -interface HtmlElement extends Element {
|
| +interface SVGAnimationElement extends SVGElement, SVGTests, SVGExternalResourcesRequired, ElementTimeControl {
|
|
|
| - String get manifest();
|
| + SVGElement get targetElement();
|
|
|
| - void set manifest(String value);
|
| + num getCurrentTime();
|
|
|
| - String get version();
|
| + num getSimpleDuration();
|
|
|
| - void set version(String value);
|
| + num getStartTime();
|
| }
|
|
|