From 366184247d8c91492b140321c3be1bc78b3606da Mon Sep 17 00:00:00 2001 From: "dimich@google.com" Date: Mon, 29 Jun 2009 19:09:30 +0000 Subject: 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 --- webkit/api/public/WebKit.h | 3 --- webkit/api/src/WebKit.cpp | 7 ------- 2 files changed, 10 deletions(-) (limited to 'webkit/api') 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) -- cgit v1.1