| Index: Source/core/animation/AnimationPlayer.idl
|
| diff --git a/Source/core/animation/AnimationPlayer.idl b/Source/core/animation/AnimationPlayer.idl
|
| index 0066e66bc439c501f53b429dc191dba26bdcc64d..00ef93e5d4181758ac9bfee3434e60cbfd4f1d37 100644
|
| --- a/Source/core/animation/AnimationPlayer.idl
|
| +++ b/Source/core/animation/AnimationPlayer.idl
|
| @@ -37,8 +37,6 @@
|
| [RuntimeEnabled=WebAnimationsAPI] attribute double startTime;
|
| [RuntimeEnabled=WebAnimationsAPI] attribute double currentTime;
|
| [RuntimeEnabled=WebAnimationsAPI] attribute double playbackRate;
|
| - [RuntimeEnabled=WebAnimationsAPI] readonly attribute boolean paused;
|
| - [RuntimeEnabled=WebAnimationsAPI] readonly attribute boolean finished;
|
| [RuntimeEnabled=WebAnimationsAPI] readonly attribute DOMString playState;
|
| [RuntimeEnabled=WebAnimationsAPI, RaisesException] void finish();
|
| [RuntimeEnabled=WebAnimationsAPI] void play();
|
|
|