Index: chrome/common/pref_names.h |
diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h |
index af53c6bd1751b1fcd5be0c2cebdd7689724e31cb..757a93bb0eab8276cbcb24904cd8c88022e05764 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 kDevToolsSavedFileSystemPathes[]; |
extern const char kDevToolsHSplitLocation[]; |
extern const char kDevToolsOpenDocked[]; |
#if defined(OS_ANDROID) |