Index: third_party/WebKit/Source/web/WebDevToolsAgentImpl.h |
diff --git a/third_party/WebKit/Source/web/WebDevToolsAgentImpl.h b/third_party/WebKit/Source/web/WebDevToolsAgentImpl.h |
index b7fac814bf55490535d89da53f65f0a5054cb2f1..877fe2def6dbcb0a10b0dcffcc88bd5b10feb6af 100644 |
--- a/third_party/WebKit/Source/web/WebDevToolsAgentImpl.h |
+++ b/third_party/WebKit/Source/web/WebDevToolsAgentImpl.h |
@@ -90,6 +90,7 @@ public: |
// Instrumentation from web/ layer. |
void didCommitLoadForLocalFrame(LocalFrame*); |
+ void didStartProvisionalLoad(LocalFrame*); |
bool screencastEnabled(); |
void willAddPageOverlay(const GraphicsLayer*); |
void didRemovePageOverlay(const GraphicsLayer*); |