Change 9789001: attempt #3 after fixing the problems with linux Created by Wei Li: https://chromium…

chrome/browser/history/history.h

Index: chrome/browser/history/history.h
diff --git a/chrome/browser/history/history.h b/chrome/browser/history/history.h
index f905168d7f1443ecd53713ce800dfedc3c7a7697..a26e71a0c42602e09bc39b456136176474eeea65 100644
--- a/chrome/browser/history/history.h
+++ b/chrome/browser/history/history.h
@@ -220,6 +220,17 @@ class HistoryService : public CancelableRequestProvider,
   // title in the full text index.
   void SetPageTitle(const GURL& url, const string16& title);
 
+  // Updates the history database with a page's ending time stamp information.
+  // The page can be identified by the combination of the pointer to
+  // a RenderProcessHost, the page id and the url.
+  //
+  // The given pointer will not be dereferenced, it is only used for
+  // identification purposes, hence it is a void*.
+  void UpdateWithPageEndTime(const void* host,
+                             int32 page_id,
+                             const GURL& url,
+                             base::Time end_ts);
+
   // Indexing ------------------------------------------------------------------
 
   // Notifies history of the body text of the given recently-visited URL.