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