| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index 36be90a0fbba902aeaca8dea4e8a3713c27624ce..c01d00c4d8ee1ade3f9e8a630ed76129ed163139 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -157,9 +157,6 @@ public:
|
| virtual bool muted() const OVERRIDE FINAL;
|
| virtual void setMuted(bool) OVERRIDE FINAL;
|
|
|
| - virtual void beginScrubbing() OVERRIDE FINAL;
|
| - virtual void endScrubbing() OVERRIDE FINAL;
|
| -
|
| virtual bool canPlay() const OVERRIDE FINAL;
|
|
|
| void togglePlayState();
|
|
|