| Index: chrome/common/pref_names.h
|
| diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h
|
| index 2ebb8665d376c2ecf3fa10f55489c14a13eb28b9..b40b4f09208e7df1a9186c41aa3f92f1f6865cb2 100644
|
| --- a/chrome/common/pref_names.h
|
| +++ b/chrome/common/pref_names.h
|
| @@ -570,6 +570,7 @@ extern const char kDevToolsOpenDocked[];
|
| extern const char kDevToolsPortForwardingEnabled[];
|
| extern const char kDevToolsPortForwardingDefaultSet[];
|
| extern const char kDevToolsPortForwardingConfig[];
|
| +extern const char kDevToolsPreferences[];
|
| #if defined(OS_ANDROID)
|
| extern const char kDevToolsRemoteEnabled[];
|
| #endif
|
|
|