| Index: Source/core/dom/Fullscreen.h
|
| diff --git a/Source/core/dom/Fullscreen.h b/Source/core/dom/Fullscreen.h
|
| index 55ac5d4ae3bc0bcbae5adc948c949a7172902017..704e4a9146402a5b8564ab9c6f53a06b59867fc2 100644
|
| --- a/Source/core/dom/Fullscreen.h
|
| +++ b/Source/core/dom/Fullscreen.h
|
| @@ -84,9 +84,9 @@ public:
|
| // Mozilla API
|
| Element* webkitCurrentFullScreenElement() const { return m_fullScreenElement.get(); }
|
|
|
| - virtual void documentWasDetached() override;
|
| + void documentWasDetached() override;
|
| #if !ENABLE(OILPAN)
|
| - virtual void documentWasDisposed() override;
|
| + void documentWasDisposed() override;
|
| #endif
|
|
|
| DECLARE_VIRTUAL_TRACE();
|
|
|