| 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
|
|
|