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) |