| Index: Source/WebKit/chromium/public/WebFrame.h
|
| diff --git a/Source/WebKit/chromium/public/WebFrame.h b/Source/WebKit/chromium/public/WebFrame.h
|
| index a4721918f7d836395b5f5c650eed1fcea9b81555..0dc56b3de010238b343171bc2272e3f09bc4e6ab 100644
|
| --- a/Source/WebKit/chromium/public/WebFrame.h
|
| +++ b/Source/WebKit/chromium/public/WebFrame.h
|
| @@ -237,6 +237,8 @@ public:
|
| // extensionGroup is an embedder-provided specifier that controls which
|
| // v8 extensions are loaded into the new context - see
|
| // WebKit::registerExtension for the corresponding specifier.
|
| + //
|
| + // worldID must be > 0 (as 0 represents the main world).
|
| virtual void executeScriptInIsolatedWorld(
|
| int worldID, const WebScriptSource* sources, unsigned numSources,
|
| int extensionGroup) = 0;
|
| @@ -272,6 +274,7 @@ public:
|
| virtual v8::Handle<v8::Value> executeScriptAndReturnValue(
|
| const WebScriptSource&) = 0;
|
|
|
| + // worldID must be > 0 (as 0 represents the main world).
|
| virtual void executeScriptInIsolatedWorld(
|
| int worldID, const WebScriptSource* sourcesIn, unsigned numSources,
|
| int extensionGroup, WebVector<v8::Local<v8::Value> >* results) = 0;
|
|
|