| Index: chrome/common/pref_names.h
|
| diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h
|
| index fb59a0ddde9110d8cd9f9701e02dc55921ec6676..04b1d9fbca6205092b0125216982c22b2dec9089 100644
|
| --- a/chrome/common/pref_names.h
|
| +++ b/chrome/common/pref_names.h
|
| @@ -571,6 +571,7 @@ extern const char kNtpAppPageNames[];
|
| extern const char kDevToolsDisabled[];
|
| extern const char kDevToolsDockSide[];
|
| extern const char kDevToolsEditedFiles[];
|
| +extern const char kDevToolsFileSystemPaths[];
|
| extern const char kDevToolsHSplitLocation[];
|
| extern const char kDevToolsOpenDocked[];
|
| #if defined(OS_ANDROID)
|
|
|