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 87e3f044d846280616c104700d20f9e87624adbd..d4a15f354eaeceaaa14c78d89875673bfc147de4 100644 |
--- a/third_party/WebKit/Source/web/WebDevToolsAgentImpl.h |
+++ b/third_party/WebKit/Source/web/WebDevToolsAgentImpl.h |
@@ -98,6 +98,7 @@ class WebDevToolsAgentImpl final |
void inspectElementAt(int sessionId, const WebPoint&) override; |
void failedToRequestDevTools() override; |
WebString evaluateInWebInspectorOverlay(const WebString& script) override; |
+ bool cacheDisabled() override; |
private: |
WebDevToolsAgentImpl(WebLocalFrameImpl*, |