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 cfe3630f62eb76b4b1c91ba925213b3f0449be1a..04ccf9e6af71491129490a84a3f972e2e0151542 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(); |