| Index: third_party/WebKit/Source/core/workers/WorkerGlobalScope.h
|
| diff --git a/third_party/WebKit/Source/core/workers/WorkerGlobalScope.h b/third_party/WebKit/Source/core/workers/WorkerGlobalScope.h
|
| index ff21f438df06db5f2210af770e2dc7c874b297e2..b8fc715250e3c07fb085ad151441855eb8e521c7 100644
|
| --- a/third_party/WebKit/Source/core/workers/WorkerGlobalScope.h
|
| +++ b/third_party/WebKit/Source/core/workers/WorkerGlobalScope.h
|
| @@ -88,7 +88,7 @@ public:
|
| WorkerOrWorkletScriptController* scriptController() final { return m_scriptController.get(); }
|
|
|
| virtual void didEvaluateWorkerScript();
|
| - void dispose();
|
| + void dispose() override;
|
|
|
| WorkerThread* thread() const { return m_thread; }
|
|
|
| @@ -129,7 +129,7 @@ public:
|
| // method). If this returns true, the worker is going to be shutdown after
|
| // the current task execution. Workers that don't support close operation
|
| // should always return false.
|
| - bool isClosing() const { return m_closing; }
|
| + bool isClosing() const final { return m_closing; }
|
|
|
| double timeOrigin() const { return m_timeOrigin; }
|
|
|
|
|