Index: third_party/WebKit/Source/core/dom/PendingScript.h |
diff --git a/third_party/WebKit/Source/core/dom/PendingScript.h b/third_party/WebKit/Source/core/dom/PendingScript.h |
index 90be100c401597766eb86a39e5dcc1a24cc63518..4f42d098a0083e47fbbd0c7c34036bb16972bdd3 100644 |
--- a/third_party/WebKit/Source/core/dom/PendingScript.h |
+++ b/third_party/WebKit/Source/core/dom/PendingScript.h |
@@ -73,8 +73,9 @@ public: |
void setScriptResource(ScriptResource*); |
- virtual void notifyFinished(Resource*); |
- virtual void notifyAppendData(ScriptResource*); |
+ void notifyFinished(Resource*) override; |
+ String debugName() const override { return "PendingScript"; } |
+ void notifyAppendData(ScriptResource*) override; |
DECLARE_TRACE(); |