| Index: Source/WebKit/chromium/src/WebKit.cpp
|
| diff --git a/Source/WebKit/chromium/src/WebKit.cpp b/Source/WebKit/chromium/src/WebKit.cpp
|
| index 0a231446423444fc04f61103c94440826ad02662..0796e666645df39340ea6449831145df1367ace3 100644
|
| --- a/Source/WebKit/chromium/src/WebKit.cpp
|
| +++ b/Source/WebKit/chromium/src/WebKit.cpp
|
| @@ -37,7 +37,6 @@
|
| #include "WebMediaPlayerClientImpl.h"
|
| #include "WebSocket.h"
|
| #include "WebWorkerClientImpl.h"
|
| -#include "WorkerContextProxyChromium.h"
|
| #include "core/dom/CustomElementRegistry.h"
|
| #include "core/dom/MutationObserver.h"
|
| #include "core/page/Frame.h"
|
| @@ -50,6 +49,7 @@
|
| #include "core/platform/graphics/chromium/ImageDecodingStore.h"
|
| #include "core/platform/graphics/chromium/MediaPlayerPrivateChromium.h"
|
| #include "core/platform/text/TextEncoding.h"
|
| +#include "core/workers/chromium/WorkerContextProxyChromium.h"
|
| #include "v8.h"
|
| #include <public/Platform.h>
|
| #include <public/WebPrerenderingSupport.h>
|
|
|