| Index: webkit/api/public/WebKitClient.h
|
| diff --git a/webkit/api/public/WebKitClient.h b/webkit/api/public/WebKitClient.h
|
| index 6f2b3dd74b55bc4d357401b286983b0b39daa627..905355fdfaae5c5ff95fbcd4248e05711b11d8f2 100644
|
| --- a/webkit/api/public/WebKitClient.h
|
| +++ b/webkit/api/public/WebKitClient.h
|
| @@ -50,6 +50,7 @@ namespace WebKit {
|
| class WebMimeRegistry;
|
| class WebPluginListBuilder;
|
| class WebSandboxSupport;
|
| + class WebSocketStreamHandle;
|
| class WebStorageNamespace;
|
| class WebString;
|
| class WebThemeEngine;
|
| @@ -166,6 +167,9 @@ namespace WebKit {
|
| // Returns a new WebURLLoader instance.
|
| virtual WebURLLoader* createURLLoader() = 0;
|
|
|
| + // Returns a new WebSocketStreamHandle instance.
|
| + virtual WebSocketStreamHandle* createSocketStreamHandle() = 0;
|
| +
|
|
|
| // Plugins -------------------------------------------------------------
|
|
|
|
|