diff options
Diffstat (limited to 'webkit/glue/devtools/js/devtools_host_stub.js')
| -rw-r--r-- | webkit/glue/devtools/js/devtools_host_stub.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/webkit/glue/devtools/js/devtools_host_stub.js b/webkit/glue/devtools/js/devtools_host_stub.js index 5142bbe..2f3da60 100644 --- a/webkit/glue/devtools/js/devtools_host_stub.js +++ b/webkit/glue/devtools/js/devtools_host_stub.js @@ -170,6 +170,10 @@ RemoteToolsAgentStub.prototype.ExecuteUtilityFunction = function(callId, }; +RemoteToolsAgentStub.prototype.ExecuteVoidJavaScript = function() { +}; + + RemoteToolsAgentStub.prototype.SetResourceTrackingEnabled = function(enabled, always) { RemoteToolsAgent.SetResourcesPanelEnabled(enabled); if (enabled) { |