| Index: third_party/WebKit/Source/platform/Timer.h
|
| diff --git a/third_party/WebKit/Source/platform/Timer.h b/third_party/WebKit/Source/platform/Timer.h
|
| index 33d5af85e7ea1d4081a6b65ef5f104a816f95f6c..cb5947335b01cc35689c73c4c7318d3039258837 100644
|
| --- a/third_party/WebKit/Source/platform/Timer.h
|
| +++ b/third_party/WebKit/Source/platform/Timer.h
|
| @@ -62,7 +62,7 @@ class PLATFORM_EXPORT TimerBase {
|
|
|
| // Timer cancellation is fast enough that you shouldn't have to worry
|
| // about it unless you're canceling tens of thousands of tasks.
|
| - void stop();
|
| + virtual void stop();
|
| bool isActive() const;
|
| const WebTraceLocation& location() const { return m_location; }
|
|
|
|
|