| Index: Source/core/dom/ScriptLoader.h
|
| diff --git a/Source/core/dom/ScriptLoader.h b/Source/core/dom/ScriptLoader.h
|
| index 3e5775c179e0ab04b6d024c2dc8ee0b96b2a241f..473876e74816733eb816d00691ce7e2b402e0072 100644
|
| --- a/Source/core/dom/ScriptLoader.h
|
| +++ b/Source/core/dom/ScriptLoader.h
|
| @@ -46,7 +46,7 @@ public:
|
|
|
| String scriptCharset() const { return m_characterEncoding; }
|
| String scriptContent() const;
|
| - void executeScript(const ScriptSourceCode&);
|
| + void executeScript(const ScriptSourceCode&, double* compilationFinishTime = 0);
|
| void execute(ScriptResource*);
|
|
|
| // XML parser calls these
|
|
|