Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index ab0b57d7afc11cb0ed5514d23b36fe4714f89d73..8b04aa21c6cdbe02670684191b26d775359467d6 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -1297,6 +1297,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"; |