| Index: webkit/api/public/WebFrame.h
|
| diff --git a/webkit/api/public/WebFrame.h b/webkit/api/public/WebFrame.h
|
| index 07f5cf5801138146f69501b92ba6b05f10223044..671c5505850a89420d9e99e3ed4a8f43cc43cde5 100644
|
| --- a/webkit/api/public/WebFrame.h
|
| +++ b/webkit/api/public/WebFrame.h
|
| @@ -196,9 +196,9 @@ namespace WebKit {
|
| // extensionGroup is an embedder-provided specifier that controls which
|
| // v8 extensions are loaded into the new context - see
|
| // WebKit::registerExtension for the corresponding specifier.
|
| - virtual void executeScriptInNewWorld(const WebScriptSource* sources,
|
| - unsigned numSources,
|
| - int extensionGroup) = 0;
|
| + virtual void executeScriptInIsolatedWorld(
|
| + int worldId, const WebScriptSource* sources, unsigned numSources,
|
| + int extensionGroup) = 0;
|
|
|
| // Logs to the console associated with this frame.
|
| virtual void addMessageToConsole(const WebConsoleMessage&) = 0;
|
|
|