| 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";
|
|
|
|
|