Index: webkit/glue/webdevtoolsagent_impl.h |
diff --git a/webkit/glue/webdevtoolsagent_impl.h b/webkit/glue/webdevtoolsagent_impl.h |
index 41928c2e1962e8caa74545b9b3d7cddb3e72c4a8..36431a5933f6e46d81d4614101ae8388e1871655 100644 |
--- a/webkit/glue/webdevtoolsagent_impl.h |
+++ b/webkit/glue/webdevtoolsagent_impl.h |
@@ -77,8 +77,12 @@ class WebDevToolsAgentImpl : public WebKit::WebDevToolsAgentPrivate, |
const WebKit::WebString& param2, |
const WebKit::WebString& param3); |
virtual void inspectElementAt(const WebKit::WebPoint& point); |
+ virtual void evaluateInWebInspector(long call_id, |
+ const WebKit::WebString& script); |
virtual void setRuntimeFeatureEnabled(const WebKit::WebString& feature, |
bool enabled); |
+ virtual void setTimelineProfilingEnabled(bool enable); |
+ |
virtual void identifierForInitialRequest( |
unsigned long resourceId, |
WebKit::WebFrame* frame, |