Index: client/dom/generated/src/frog/WebKitAnimationEvent.dart |
diff --git a/client/dom/generated/src/frog/WebKitAnimationEvent.dart b/client/dom/generated/src/frog/WebKitAnimationEvent.dart |
index 51131e3dfa4f108020decd5a960981c7640d0ec7..e175851a8b2bcca4231ebee15e4203eee7a81531 100644 |
--- a/client/dom/generated/src/frog/WebKitAnimationEvent.dart |
+++ b/client/dom/generated/src/frog/WebKitAnimationEvent.dart |
@@ -1,7 +1,7 @@ |
class _WebKitAnimationEventJs extends _EventJs implements WebKitAnimationEvent native "*WebKitAnimationEvent" { |
- String get animationName() native "return this.animationName;"; |
+ final String animationName; |
- num get elapsedTime() native "return this.elapsedTime;"; |
+ final num elapsedTime; |
} |