Add network proxy input to md-settings internet details

extensions/common/api/networking_private.idl

 // Copyright 2015 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.
 
 // The <code>chrome.networkingPrivate</code> API is used for configuring
 // network connections (Cellular, Ethernet, VPN, WiFi or WiMAX). This private
 // API is only valid if called from a browser or app associated with the
 // primary user. See the Open Network Configuration (ONC) documentation for
 // descriptions of properties:
 // <a href="https://code.google.com/p/chromium/codesearch#chromium/src/components/onc/docs/onc_spec.html">
@@ skipping 103 matching lines @@
     DOMString? Type;
     DOMString? WebProxyAutoDiscoveryUrl;
   };
 
   dictionary IPSecProperties {
     DOMString AuthenticationType;
   };
 
   dictionary ProxyLocation {
     DOMString Host;
-    DOMString Port;
+    long Port;
   };
 
   dictionary ManualProxySettings {
     ProxyLocation? HTTPProxy;
     ProxyLocation? SecureHTTPProxy;
     ProxyLocation? FTPProxy;
     ProxyLocation? SOCKS;
   };
 
   dictionary ProxySettings {
@@ skipping 341 matching lines @@
     // Fired when the list of devices has changed or any device state properties
     // have changed.
     static void onDeviceStateListChanged();
 
     // Fired when a portal detection for a network completes. Sends the guid of
     // the network and the corresponding captive portal status.
     static void onPortalDetectionCompleted(DOMString networkGuid,
                                            CaptivePortalStatus status);
   };
 };