Index: chrome/renderer/prerender/prerendering_platform.h |
diff --git a/chrome/renderer/prerender/prerendering_platform.h b/chrome/renderer/prerender/prerendering_platform.h |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7ce2a3283da196928b4a268af0707e44af42ebfa |
--- /dev/null |
+++ b/chrome/renderer/prerender/prerendering_platform.h |
@@ -0,0 +1,29 @@ |
+// Copyright (c) 2012 The Chromium Authors. All rights reserved. |
+// Use of this source code is governed by a BSD-style license that can be |
+// found in the LICENSE file. |
+ |
+#ifndef CHROME_RENDERER_PRERENDER_PRERENDERING_PLATFORM_H_ |
+#define CHROME_RENDERER_PRERENDER_PRERENDERING_PLATFORM_H_ |
+#pragma once |
+ |
+#include "base/compiler_specific.h" |
+#include "third_party/WebKit/Source/Platform/chromium/public/WebPrerenderingPlatform.h" |
+ |
+namespace WebKit { |
+class WebPrerender; |
jam
2012/04/27 15:59:50
ditto
gavinp
2012/04/27 20:31:32
Done.
|
+} |
+ |
+namespace prerender { |
+ |
+class PrerenderingPlatform : public WebKit::WebPrerenderingPlatform { |
+ public: |
+ virtual ~PrerenderingPlatform(); |
+ |
+ virtual void add(const WebKit::WebPrerender& prerender) OVERRIDE; |
+ virtual void cancel(const WebKit::WebPrerender& prerender) OVERRIDE; |
+ virtual void abandon(const WebKit::WebPrerender& prerender) OVERRIDE; |
+}; |
+ |
+} // namespace prerender |
+#endif // CHROME_RENDERER_PRERENDER_PRERENDERING_PLATFORM_H_ |
jam
2012/04/27 15:59:50
nit: blank line above
gavinp
2012/04/27 20:31:32
Done.
|
+ |