Index: third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
diff --git a/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h b/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
index 1ce120561db7a3e9abcbf981602b00f8118927ff..f605f4aee0bb048e58ecb7092c1bdf997e0327f8 100644 |
--- a/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
+++ b/third_party/WebKit/Source/core/inspector/InjectedScriptManager.h |
@@ -60,6 +60,7 @@ public: |
InjectedScript* findInjectedScript(RemoteObjectIdBase*) const; |
void discardInjectedScripts(); |
int discardInjectedScriptFor(v8::Local<v8::Context>); |
dgozman
2016/01/27 22:05:47
I think we should remove this one now.
pfeldman
2016/01/27 22:15:45
I don't think so - that way we would retain inject
|
+ void discardInjectedScript(int); |
void releaseObjectGroup(const String& objectGroup); |
void setCustomObjectFormatterEnabled(bool); |