diff options
Diffstat (limited to 'Source/WebKit/chromium/src/WebKit.cpp')
| -rw-r--r-- | Source/WebKit/chromium/src/WebKit.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/WebKit/chromium/src/WebKit.cpp b/Source/WebKit/chromium/src/WebKit.cpp index da54cca50..ee999a916 100644 --- a/Source/WebKit/chromium/src/WebKit.cpp +++ b/Source/WebKit/chromium/src/WebKit.cpp @@ -46,6 +46,7 @@ #include "platform/WebThread.h" #include "v8.h" #include <public/Platform.h> +#include <public/WebPrerenderingSupport.h> #include <wtf/Assertions.h> #include <wtf/MainThread.h> #include <wtf/Threading.h> @@ -163,6 +164,7 @@ void shutdown() #endif s_webKitPlatformSupport = 0; Platform::shutdown(); + WebPrerenderingSupport::shutdown(); } WebKitPlatformSupport* webKitPlatformSupport() |