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; |