| 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);
|
|
|