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