diff options
author | dimich@google.com <dimich@google.com@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-06-29 19:09:30 +0000 |
---|---|---|
committer | dimich@google.com <dimich@google.com@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-06-29 19:09:30 +0000 |
commit | 366184247d8c91492b140321c3be1bc78b3606da (patch) | |
tree | abd5072eaf6b3de5f75424db1e3ba89bd43784d5 /webkit | |
parent | ecc4ce517d732b9393b3ff21a20a5f2664b60976 (diff) | |
download | chromium_src-366184247d8c91492b140321c3be1bc78b3606da.zip chromium_src-366184247d8c91492b140321c3be1bc78b3606da.tar.gz chromium_src-366184247d8c91492b140321c3be1bc78b3606da.tar.bz2 |
Remove --enable-web-workers command-line switch.
BUG=4361
TEST=many ui/layout tests.
Review URL: http://codereview.chromium.org/149114
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@19512 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'webkit')
-rw-r--r-- | webkit/api/public/WebKit.h | 3 | ||||
-rw-r--r-- | webkit/api/src/WebKit.cpp | 7 | ||||
-rw-r--r-- | webkit/tools/test_shell/test_shell_webkit_init.h | 1 |
3 files changed, 0 insertions, 11 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) diff --git a/webkit/tools/test_shell/test_shell_webkit_init.h b/webkit/tools/test_shell/test_shell_webkit_init.h index 0c4a033..c5b419b 100644 --- a/webkit/tools/test_shell/test_shell_webkit_init.h +++ b/webkit/tools/test_shell/test_shell_webkit_init.h @@ -36,7 +36,6 @@ class TestShellWebKitInit : public webkit_glue::WebKitClientImpl { ASCIIToUTF16(webkit_glue::GetUIResourceProtocol())); WebKit::registerExtension(extensions_v8::GearsExtension::Get()); WebKit::registerExtension(extensions_v8::IntervalExtension::Get()); - WebKit::enableWebWorkers(); // Load libraries for media and enable the media player. FilePath module_path; |