[DevTools] Introduce a target discovery preference

chrome/common/pref_names.cc

Index: chrome/common/pref_names.cc
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc
index c5e2281e46302123a519a601b8829dcd848ac14b..c765f8d3a1e3e842af48e807684c0567256c5884 100644
--- a/chrome/common/pref_names.cc
+++ b/chrome/common/pref_names.cc
@@ -1538,6 +1538,10 @@ const char kDevToolsPortForwardingDefaultSet[] =
 // A dictionary of port->location pairs for port forwarding.
 const char kDevToolsPortForwardingConfig[] = "devtools.port_forwarding_config";
 
+// A list of strings representing devtools target discovery servers.
+const char kDevToolsTargetDiscoveryConfig[] =
+    "devtools.target_discovery_config";
+
 // A dictionary with generic DevTools settings.
 const char kDevToolsPreferences[] = "devtools.preferences";