| 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*);
|
|
|