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 |