Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index 172927f358f3ebe3ae069be95dfdb1fb949e81c2..965b9d6d6baf173b2e66f8939f913fa134abc516 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -1283,6 +1283,10 @@ const char kProfileResetPromptMemento[] = "profile.reset_prompt_memento"; |
// The GCM channel's enabled state. |
const char kGCMChannelEnabled[] = "gcm.channel_enabled"; |
+// How many Service Workers are registered with the Push API (could be zero). |
+const char kPushMessagingRegistrationCount[] = |
+ "gcm.push_messaging_registration_count"; |
+ |
// Whether Easy Unlock is enabled. |
extern const char kEasyUnlockEnabled[] = "easy_unlock.enabled"; |