| Index: chrome/common/pref_names.h
|
| diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h
|
| index d5f77eea3dcf50940ee170af9a4f5ec3ae401343..06bc8b4975c94ac5e314969e17613318328cb957 100644
|
| --- a/chrome/common/pref_names.h
|
| +++ b/chrome/common/pref_names.h
|
| @@ -567,6 +567,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)
|
|
|