Index: Source/core/animation/Player.h |
diff --git a/Source/core/animation/Player.h b/Source/core/animation/Player.h |
index bd55fef253f04d3769890a722b570bda6d878e38..c0100177334e0e2ea9a9e1b639d4f8fc83d54db8 100644 |
--- a/Source/core/animation/Player.h |
+++ b/Source/core/animation/Player.h |
@@ -96,6 +96,8 @@ public: |
void cancelAnimationOnCompositor(); |
bool hasActiveAnimationsOnCompositor(); |
+ static bool hasLowerPriority(Player*, Player*); |
+ |
private: |
Player(DocumentTimeline&, TimedItem*); |
double sourceEnd() const; |
@@ -121,6 +123,8 @@ private: |
// This indicates timing information relevant to the player has changed |
bool m_outdated; |
+ |
+ unsigned m_sequenceNumber; |
}; |
} // namespace |