Index: chrome/browser/resources/options/chromeos/internet_detail.js |
diff --git a/chrome/browser/resources/options/chromeos/internet_detail.js b/chrome/browser/resources/options/chromeos/internet_detail.js |
index 267e32ffef511f9e980074ea034518c891fde8d1..537ef2905348bac34be56ba48e4ec2386ba33aee 100644 |
--- a/chrome/browser/resources/options/chromeos/internet_detail.js |
+++ b/chrome/browser/resources/options/chromeos/internet_detail.js |
@@ -11,6 +11,15 @@ |
// networkingPrivate API. See network_config.js. |
// See crbug.com/279351 for more info. |
+/** @typedef {{address: (string|undefined), |
+ * gateway: (string|undefined), |
+ * nameServers: (string|undefined), |
+ * netmask: (string|undefined), |
+ * prefixLength: (number|undefined)}} |
+ * @see chrome/browser/ui/webui/options/chromeos/internet_options_handler.cc |
+ */ |
+var IPInfo; |
+ |
/** |
* InternetDetailedInfo argument passed to showDetailedInfo. |
* @see chrome/browser/ui/webui/options/chromeos/internet_options_handler.cc |