Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 3561923f765376bdb21bb63c0be635c4f16354d4..3c331da4bfc147a9c39bf0596f635796007311bd 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -274,6 +274,10 @@ public: |
// and m_mediaController multipliers into account. |
double playerVolume() const; |
+#if ENABLE(OILPAN) |
+ bool isFinalizing() const { return m_isFinalizing; } |
+#endif |
+ |
protected: |
HTMLMediaElement(const QualifiedName&, Document&); |
virtual ~HTMLMediaElement(); |
@@ -502,6 +506,9 @@ private: |
bool m_tracksAreReady : 1; |
bool m_haveVisibleTextTrack : 1; |
bool m_processingPreferenceChange : 1; |
+#if ENABLE(OILPAN) |
+ bool m_isFinalizing : 1; |
+#endif |
double m_lastTextTrackUpdateTime; |
RefPtrWillBeMember<TextTrackList> m_textTracks; |