Index: third_party/WebKit/Source/core/dom/ScriptLoader.h |
diff --git a/third_party/WebKit/Source/core/dom/ScriptLoader.h b/third_party/WebKit/Source/core/dom/ScriptLoader.h |
index 0af9f42207b646730c77b8892d331bb89e8dd288..24f3ebd7e0b67ad6d76412f07751c1a0f73a65fe 100644 |
--- a/third_party/WebKit/Source/core/dom/ScriptLoader.h |
+++ b/third_party/WebKit/Source/core/dom/ScriptLoader.h |
@@ -55,7 +55,7 @@ public: |
String scriptCharset() const { return m_characterEncoding; } |
String scriptContent() const; |
// Returns false if and only if execution was blocked. |
- bool executeScript(const ScriptSourceCode&, double* compilationFinishTime = 0); |
+ bool executeScript(const ScriptSourceCode&); |
virtual void execute(); |
// XML parser calls these |