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(); |