Index: chrome/common/pref_names.h |
diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h |
index deb4327e802fccb6060c57ec89c2b2e0ffc7c041..8d903d2635a3cd46d169542a9f8d5ac710e5d2ae 100644 |
--- a/chrome/common/pref_names.h |
+++ b/chrome/common/pref_names.h |
@@ -305,6 +305,9 @@ extern const char kShowHomeButton[]; |
extern const char kSpeechRecognitionFilterProfanities[]; |
extern const char kSavingBrowserHistoryDisabled[]; |
extern const char kAllowDeletingBrowserHistory[]; |
+#if !defined(OS_ANDROID) && !defined(OS_IOS) |
+extern const char kMdHistoryMenuPromoShown[]; |
+#endif |
extern const char kForceGoogleSafeSearch[]; |
extern const char kForceYouTubeSafetyMode[]; |
extern const char kForceSessionSync[]; |