| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 6f0f83019dfb79df2273087aa2aa934d7284622c..9e5c0d0c7da60f3c7224698a45008655ba18ff9f 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -427,9 +427,6 @@ private:
|
| bool pausedForUserInteraction() const;
|
| bool couldPlayIfEnoughData() const;
|
|
|
| - double minTimeSeekable() const;
|
| - double maxTimeSeekable() const;
|
| -
|
| // Pauses playback without changing any states or generating events
|
| void setPausedInternal(bool);
|
|
|
|
|