Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 8049fcc0ae2158461fd103afe7b6d8040118b550..938516339b388b0ee24ac85024a36b5cbccc21ee 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -436,9 +436,6 @@ private: |
bool stoppedDueToErrors() const; |
bool couldPlayIfEnoughData() const; |
- // Pauses playback without changing any states or generating events |
- void setPausedInternal(bool); |
- |
void setShouldDelayLoadEvent(bool); |
void invalidateCachedTime(); |
void refreshCachedTime() const; |
@@ -569,8 +566,6 @@ private: |
// time has not changed since sending an "ended" event |
bool m_sentEndEvent : 1; |
- bool m_pausedInternal : 1; |
- |
bool m_closedCaptionsVisible : 1; |
bool m_completelyLoaded : 1; |