| Index: Source/web/SuspendableScriptExecutor.h
|
| diff --git a/Source/web/SuspendableScriptExecutor.h b/Source/web/SuspendableScriptExecutor.h
|
| index 0c6d40af4119490882e9dc1deba8117cf9e7d870..ecbee08bcdafa985302e67e78c99303c65ed3a8e 100644
|
| --- a/Source/web/SuspendableScriptExecutor.h
|
| +++ b/Source/web/SuspendableScriptExecutor.h
|
| @@ -20,9 +20,9 @@ class SuspendableScriptExecutor final : public RefCountedWillBeRefCountedGarbage
|
| WILL_BE_USING_GARBAGE_COLLECTED_MIXIN(SuspendableScriptExecutor);
|
| public:
|
| static void createAndRun(LocalFrame*, int worldID, const WillBeHeapVector<ScriptSourceCode>& sources, int extensionGroup, bool userGesture, WebScriptExecutionCallback*);
|
| - virtual ~SuspendableScriptExecutor();
|
| + ~SuspendableScriptExecutor() override;
|
|
|
| - virtual void contextDestroyed() override;
|
| + void contextDestroyed() override;
|
|
|
| // Eager finalization is needed to promptly stop this timer object.
|
| // (see DOMTimer comment for more.)
|
| @@ -32,7 +32,7 @@ public:
|
| private:
|
| SuspendableScriptExecutor(LocalFrame*, int worldID, const WillBeHeapVector<ScriptSourceCode>& sources, int extensionGroup, bool userGesture, WebScriptExecutionCallback*);
|
|
|
| - virtual void fired() override;
|
| + void fired() override;
|
|
|
| void run();
|
| void executeAndDestroySelf();
|
|
|