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