Index: chrome/common/pref_names.h |
diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h |
index a1bad5237b6a13cb85e9d5dc9f81697606fdb084..b819b49380ae4d46357b1559fe5407e171b12951 100644 |
--- a/chrome/common/pref_names.h |
+++ b/chrome/common/pref_names.h |
@@ -568,6 +568,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) |