| 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;
|
| }
|
|
|