diff options
Diffstat (limited to 'webkit/api')
| -rw-r--r-- | webkit/api/public/WebKit.h | 3 | ||||
| -rw-r--r-- | webkit/api/src/WebKit.cpp | 7 |
2 files changed, 0 insertions, 10 deletions
diff --git a/webkit/api/public/WebKit.h b/webkit/api/public/WebKit.h index 55675a6..a3e8086 100644 --- a/webkit/api/public/WebKit.h +++ b/webkit/api/public/WebKit.h @@ -77,9 +77,6 @@ namespace WebKit { WEBKIT_API void registerExtension(v8::Extension*, const WebString& schemeRestriction); - // Enables HTML5 worker support. - WEBKIT_API void enableWebWorkers(); - // Enables HTML5 media support. WEBKIT_API void enableMediaPlayer(); diff --git a/webkit/api/src/WebKit.cpp b/webkit/api/src/WebKit.cpp index 8ecc859..8f61ecc 100644 --- a/webkit/api/src/WebKit.cpp +++ b/webkit/api/src/WebKit.cpp @@ -106,13 +106,6 @@ void registerExtension(v8::Extension* extension, WebCore::V8Proxy::RegisterExtension(extension, schemeRestriction); } -void enableWebWorkers() -{ -#if ENABLE(WORKERS) - WebCore::WorkerContextExecutionProxy::setIsWebWorkersEnabled(true); -#endif -} - void enableMediaPlayer() { #if ENABLE(VIDEO) |