Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 3c331da4bfc147a9c39bf0596f635796007311bd..d4215242070c5d682c36ef2575492a0445d7f713 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -394,7 +394,6 @@ private: |
bool potentiallyPlaying() const; |
bool endedPlayback() const; |
bool stoppedDueToErrors() const; |
- bool pausedForUserInteraction() const; |
bool couldPlayIfEnoughData() const; |
// Pauses playback without changing any states or generating events |