| 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
|
|
|