| Index: Source/WebKit/chromium/src/WebFrameImpl.h
|
| diff --git a/Source/WebKit/chromium/src/WebFrameImpl.h b/Source/WebKit/chromium/src/WebFrameImpl.h
|
| index fee5e7ff1efd76a8946fc9d54c8622f6a120b669..e53ed4de10902a2814482bf866584023e2f05c7d 100644
|
| --- a/Source/WebKit/chromium/src/WebFrameImpl.h
|
| +++ b/Source/WebKit/chromium/src/WebFrameImpl.h
|
| @@ -115,6 +115,7 @@ public:
|
| int worldID, const WebScriptSource* sources, unsigned numSources,
|
| int extensionGroup);
|
| virtual void setIsolatedWorldSecurityOrigin(int worldID, const WebSecurityOrigin&);
|
| + virtual void setIsolatedWorldHumanReadableName(int worldID, const WebString&);
|
| virtual void setIsolatedWorldContentSecurityPolicy(int worldID, const WebString&);
|
| virtual void addMessageToConsole(const WebConsoleMessage&);
|
| virtual void collectGarbage();
|
|
|