| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 8049fcc0ae2158461fd103afe7b6d8040118b550..29fd6bca0f59ed7eb96dc43973aaba3de92fb2b3 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;
|
|
|