| Index: Source/core/animation/AnimationPlayer.idl
|
| diff --git a/Source/core/animation/AnimationPlayer.idl b/Source/core/animation/AnimationPlayer.idl
|
| index 6a027d0ff2ba5ebc9af0c61c1164db61213fa8d9..292954c41a53060fb2c498e869d7022e36c0f017 100644
|
| --- a/Source/core/animation/AnimationPlayer.idl
|
| +++ b/Source/core/animation/AnimationPlayer.idl
|
| @@ -30,7 +30,7 @@
|
|
|
| [
|
| RuntimeEnabled=WebAnimationsAPI,
|
| -] interface AnimationPlayer {
|
| +] interface AnimationPlayer : EventTarget {
|
| attribute TimedItem? source;
|
| attribute double startTime;
|
| attribute double currentTime;
|
| @@ -43,4 +43,6 @@
|
| void play();
|
| void pause();
|
| void reverse();
|
| +
|
| + attribute EventHandler onfinish;
|
| };
|
|
|