Index: Source/web/EventListenerWrapper.h |
diff --git a/Source/web/EventListenerWrapper.h b/Source/web/EventListenerWrapper.h |
index 8b77270700b6fc2a9b9b12dcc7aeb6dd4bf7ea18..1b5007e5e23f655e38f368be5821735b95285b6f 100644 |
--- a/Source/web/EventListenerWrapper.h |
+++ b/Source/web/EventListenerWrapper.h |
@@ -43,13 +43,13 @@ class WebDOMEventListener; |
// FIXME: Remove the DeprecatedEventListenerWrapper class below once Chromium |
// switched to using WebDOMEvent. |
-class EventListenerWrapper : public WebCore::EventListener { |
+class EventListenerWrapper FINAL : public WebCore::EventListener { |
public: |
EventListenerWrapper(WebDOMEventListener*); |
- ~EventListenerWrapper(); |
+ virtual ~EventListenerWrapper(); |
- virtual bool operator==(const WebCore::EventListener&); |
- virtual void handleEvent(WebCore::ExecutionContext*, WebCore::Event*); |
+ virtual bool operator==(const WebCore::EventListener&) OVERRIDE; |
+ virtual void handleEvent(WebCore::ExecutionContext*, WebCore::Event*) OVERRIDE; |
void webDOMEventListenerDeleted(); |