Index: content/renderer/renderer_webkitplatformsupport_impl.h |
diff --git a/content/renderer/renderer_webkitplatformsupport_impl.h b/content/renderer/renderer_webkitplatformsupport_impl.h |
index c6467999cae512e2fe87662cea827902cd8ea03d..8c65ba1e1c206e657929554299181d6cf222eb3e 100644 |
--- a/content/renderer/renderer_webkitplatformsupport_impl.h |
+++ b/content/renderer/renderer_webkitplatformsupport_impl.h |
@@ -7,6 +7,7 @@ |
#pragma once |
#include "base/compiler_specific.h" |
+#include "base/id_map.h" |
#include "base/memory/scoped_ptr.h" |
#include "base/platform_file.h" |
#include "content/common/content_export.h" |
@@ -87,6 +88,10 @@ class CONTENT_EXPORT RendererWebKitPlatformSupportImpl |
virtual WebKit::WebString userAgent(const WebKit::WebURL& url) OVERRIDE; |
virtual void GetPlugins(bool refresh, |
std::vector<webkit::WebPluginInfo>* plugins) OVERRIDE; |
+ virtual void didStartWorkerRunLoop( |
+ const WebKit::WebWorkerRunLoop& runLoop) OVERRIDE; |
+ virtual void didStopWorkerRunLoop( |
+ const WebKit::WebWorkerRunLoop& runLoop) OVERRIDE; |
private: |
bool CheckPreparsedJsCachingEnabled() const; |