Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index b886ea9b8c0c0b2c8e2b553634f8021684ca3a5d..7010acc663bf01cb63c158634aed89b701cc9cfb 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -1708,6 +1708,12 @@ const char kCloudPrintSigninDialogWidth[] = |
const char kCloudPrintSigninDialogHeight[] = |
"cloud_print.signin_dialog_size.height"; |
+#if !defined(OS_ANDROID) |
+// The Chrome To Mobile service prefs; the device list and last update time. |
+const char kChromeToMobileDeviceList[] = "chrome_to_mobile.device_list"; |
+const char kChromeToMobileTimestamp[] = "chrome_to_mobile.timestamp"; |
+#endif |
+ |
// The list of BackgroundContents that should be loaded when the browser |
// launches. |
const char kRegisteredBackgroundContents[] = "background_contents.registered"; |