Index: Source/core/animation/Player.h |
diff --git a/Source/core/animation/Player.h b/Source/core/animation/Player.h |
index c0a8a8bf7cec76ef60581021d370c5237f3b05f1..3b4e480536e39ae27a751e5c6e5fb71c7310ec3b 100644 |
--- a/Source/core/animation/Player.h |
+++ b/Source/core/animation/Player.h |
@@ -41,6 +41,7 @@ class DocumentTimeline; |
class Player FINAL : public RefCounted<Player> { |
public: |
+ ~Player(); |
static PassRefPtr<Player> create(DocumentTimeline*, TimedItem*); |
// Returns whether this player is still current or in effect. |
@@ -53,6 +54,7 @@ public: |
void setPlaybackRate(double); |
double startTime() const { return m_startTime; } |
double timeDrift() const; |
+ DocumentTimeline* timeline() { return m_timeline; } |
private: |
Player(DocumentTimeline*, TimedItem*); |