| 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..d29644c31f55c3da486f8e60ae87183bbc837672 100644
|
| --- a/chrome/browser/prerender/prerender_manager.h
|
| +++ b/chrome/browser/prerender/prerender_manager.h
|
| @@ -540,10 +540,15 @@ class PrerenderManager : public content::NotificationObserver,
|
| void DeleteOldWebContents();
|
|
|
| // Get information associated with a possible prefetch of |url|.
|
| + // |origin| may be null, in which case the origin is not returned.
|
| void GetPrefetchInformation(const GURL& url,
|
| 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);
|
|
|