Index: chrome/common/pref_names.h |
diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h |
index 2ebb8665d376c2ecf3fa10f55489c14a13eb28b9..b40b4f09208e7df1a9186c41aa3f92f1f6865cb2 100644 |
--- a/chrome/common/pref_names.h |
+++ b/chrome/common/pref_names.h |
@@ -570,6 +570,7 @@ extern const char kDevToolsOpenDocked[]; |
extern const char kDevToolsPortForwardingEnabled[]; |
extern const char kDevToolsPortForwardingDefaultSet[]; |
extern const char kDevToolsPortForwardingConfig[]; |
+extern const char kDevToolsPreferences[]; |
#if defined(OS_ANDROID) |
extern const char kDevToolsRemoteEnabled[]; |
#endif |