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