| Index: chrome/browser/ui/webui/instant_ui.cc
|
| diff --git a/chrome/browser/ui/webui/instant_ui.cc b/chrome/browser/ui/webui/instant_ui.cc
|
| index cc67fb40ed56adba24c0f99d268e40fe67eebc0b..6326e9f6ab40b0bba98192336e82e42c14507d36 100644
|
| --- a/chrome/browser/ui/webui/instant_ui.cc
|
| +++ b/chrome/browser/ui/webui/instant_ui.cc
|
| @@ -33,6 +33,7 @@ content::WebUIDataSource* CreateInstantHTMLSource() {
|
| return source;
|
| }
|
|
|
| +#if !defined(OS_ANDROID)
|
| std::string FormatTime(int64 time) {
|
| base::Time::Exploded exploded;
|
| base::Time::FromInternalValue(time).UTCExplode(&exploded);
|
| @@ -40,6 +41,7 @@ std::string FormatTime(int64 time) {
|
| exploded.year, exploded.month, exploded.day_of_month,
|
| exploded.hour, exploded.minute, exploded.second, exploded.millisecond);
|
| }
|
| +#endif // !defined(OS_ANDROID)
|
|
|
| // This class receives JavaScript messages from the renderer.
|
| // Note that the WebUI infrastructure runs on the UI thread, therefore all of
|
|
|