Index: chrome/browser/prerender/prerender_manager.h |
diff --git a/chrome/browser/prerender/prerender_manager.h b/chrome/browser/prerender/prerender_manager.h |
index 04780f73cdca11f02f7f218956b9ee6c3a1106ea..ce29d2e1224d0d6e8cd2c348e9e83018b5672383 100644 |
--- a/chrome/browser/prerender/prerender_manager.h |
+++ b/chrome/browser/prerender/prerender_manager.h |
@@ -544,6 +544,10 @@ class PrerenderManager : public content::NotificationObserver, |
base::TimeDelta* prefetch_age, |
Origin* origin); |
+ // Called when a prefetch has been used. Prefetches avoid cache revalidation |
+ // only once. |
+ void OnPrefetchUsed(const GURL& url); |
+ |
// Cleans up old NavigationRecord's. |
void CleanUpOldNavigations(std::vector<NavigationRecord>* navigations, |
base::TimeDelta max_age); |