| Index: Source/core/html/HTMLMediaElement.h
|
| diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h
|
| index eb2e3298298ecba573540f7d2ca5e3dd4045437b..7a77dcd3e8b3569aebbd1813aed3a5c8adc26cf5 100644
|
| --- a/Source/core/html/HTMLMediaElement.h
|
| +++ b/Source/core/html/HTMLMediaElement.h
|
| @@ -337,7 +337,6 @@ private:
|
| virtual void mediaPlayerTimeChanged() override final;
|
| virtual void mediaPlayerDurationChanged() override final;
|
| virtual void mediaPlayerPlaybackStateChanged() override final;
|
| - virtual void mediaPlayerRequestFullscreen() override final;
|
| virtual void mediaPlayerRequestSeek(double) override final;
|
| virtual void mediaPlayerRepaint() override final;
|
| virtual void mediaPlayerSizeChanged() override final;
|
|
|