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