| Index: Source/core/animation/AnimationPlayer.h
|
| diff --git a/Source/core/animation/AnimationPlayer.h b/Source/core/animation/AnimationPlayer.h
|
| index ce842d7b7f0ebcd580a2956525c040540c86edbb..a91e0d5e7fb426ed224fb43a869c7fed29711eb1 100644
|
| --- a/Source/core/animation/AnimationPlayer.h
|
| +++ b/Source/core/animation/AnimationPlayer.h
|
| @@ -122,7 +122,7 @@ public:
|
| AnimationTimeline* timeline() { return m_timeline; }
|
|
|
| #if !ENABLE(OILPAN)
|
| - void timelineDestroyed() { m_timeline = nullptr; }
|
| + void detachFromTimeline();
|
| #endif
|
|
|
| double calculateStartTime(double currentTime) const;
|
|
|