[CrOS Tether] Remove the ManagedTetherProperties dictionary.

third_party/closure_compiler/externs/networking_private.js

 // Copyright 2017 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // This file was generated by:
 //   ./tools/json_schema_compiler/compiler.py.
 // NOTE: The format of types has changed. 'FooType' is now
 //   'chrome.networkingPrivate.FooType'.
 // Please run the closure compiler before committing changes.
 // See https://chromium.googlesource.com/chromium/src/+/master/docs/closure_compilation.md
@@ skipping 755 matching lines @@
  *   BatteryPercentage: (number|undefined),
  *   Carrier: (string|undefined),
  *   SignalStrength: (number|undefined)
  * }}
  * @see https://developer.chrome.com/extensions/networkingPrivate#type-TetherProperties
  */
 chrome.networkingPrivate.TetherProperties;
 
 /**
  * @typedef {{
- *   BatteryPercentage: (!chrome.networkingPrivate.ManagedLong|undefined),
- *   Carrier: (!chrome.networkingPrivate.ManagedDOMString|undefined),
- *   SignalStrength: (!chrome.networkingPrivate.ManagedLong|undefined)
- * }}
- * @see https://developer.chrome.com/extensions/networkingPrivate#type-ManagedTetherProperties
- */
-chrome.networkingPrivate.ManagedTetherProperties;
-
-/**
- * @typedef {{
  *   AutoConnect: (boolean|undefined),
  *   Host: (string|undefined),
  *   IPsec: (!chrome.networkingPrivate.IPSecProperties|undefined),
  *   L2TP: (!chrome.networkingPrivate.L2TPProperties|undefined),
  *   OpenVPN: (!chrome.networkingPrivate.OpenVPNProperties|undefined),
  *   ThirdPartyVPN: (!chrome.networkingPrivate.ThirdPartyVPNProperties|undefined),
  *   Type: (string|undefined)
  * }}
  * @see https://developer.chrome.com/extensions/networkingPrivate#type-VPNProperties
  */
@@ skipping 163 matching lines @@
  *   IPConfigs: (!Array<!chrome.networkingPrivate.IPConfigProperties>|undefined),
  *   MacAddress: (string|undefined),
  *   Name: (!chrome.networkingPrivate.ManagedDOMString|undefined),
  *   NameServersConfigType: (!chrome.networkingPrivate.ManagedIPConfigType|undefined),
  *   Priority: (!chrome.networkingPrivate.ManagedLong|undefined),
  *   ProxySettings: (!chrome.networkingPrivate.ManagedProxySettings|undefined),
  *   RestrictedConnectivity: (boolean|undefined),
  *   StaticIPConfig: (!chrome.networkingPrivate.ManagedIPConfigProperties|undefined),
  *   SavedIPConfig: (!chrome.networkingPrivate.IPConfigProperties|undefined),
  *   Source: (string|undefined),
- *   Tether: (!chrome.networkingPrivate.ManagedTetherProperties|undefined),
+ *   Tether: (!chrome.networkingPrivate.TetherProperties|undefined),
  *   Type: !chrome.networkingPrivate.NetworkType,
  *   VPN: (!chrome.networkingPrivate.ManagedVPNProperties|undefined),
  *   WiFi: (!chrome.networkingPrivate.ManagedWiFiProperties|undefined),
  *   WiMAX: (!chrome.networkingPrivate.ManagedWiMAXProperties|undefined)
  * }}
  * @see https://developer.chrome.com/extensions/networkingPrivate#type-ManagedProperties
  */
 chrome.networkingPrivate.ManagedProperties;
 
 /**
@@ skipping 374 matching lines @@
  */
 chrome.networkingPrivate.onDeviceStateListChanged;
 
 /**
  * Fired when a portal detection for a network completes. Sends the guid of the
  * network and the corresponding captive portal status.
  * @type {!ChromeEvent}
  * @see https://developer.chrome.com/extensions/networkingPrivate#event-onPortalDetectionCompleted
  */
 chrome.networkingPrivate.onPortalDetectionCompleted;