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 |