Index: chrome/renderer/prerender/prerender_dispatcher.h |
diff --git a/chrome/renderer/prerender/prerender_dispatcher.h b/chrome/renderer/prerender/prerender_dispatcher.h |
index 1c9811699e8df54b6f88717af11365a22cc45ebb..9d6363957b6a64d1af9ac00eea6c97532e4c6093 100644 |
--- a/chrome/renderer/prerender/prerender_dispatcher.h |
+++ b/chrome/renderer/prerender/prerender_dispatcher.h |
@@ -10,6 +10,7 @@ |
#include "base/compiler_specific.h" |
#include "base/memory/scoped_ptr.h" |
#include "content/public/renderer/render_process_observer.h" |
+#include "third_party/WebKit/Source/Platform/chromium/public/WebPrerender.h" |
#include "third_party/WebKit/Source/Platform/chromium/public/WebPrerenderingSupport.h" |
class GURL; |
@@ -45,9 +46,7 @@ class PrerenderDispatcher : public content::RenderProcessObserver, |
virtual void abandon(const WebKit::WebPrerender& prerender) OVERRIDE; |
// From WebKit, prerender elements launched by renderers in our process. |
- // TODO(gavinp): Store a WebKit::WebPrerender* here once the WebKit API |
- // updates to allow this. |
- std::map<int, GURL> prerenders_; |
+ std::map<int, WebKit::WebPrerender> prerenders_; |
// From the browser process, which prerenders are running, indexed by URL. |
// Updated by the browser processes as aliases are discovered. |