Add network proxy input to md-settings internet details

chrome/browser/resources/settings/internet_page/internet_detail_page.html

Index: chrome/browser/resources/settings/internet_page/internet_detail_page.html
diff --git a/chrome/browser/resources/settings/internet_page/internet_detail_page.html b/chrome/browser/resources/settings/internet_page/internet_detail_page.html
index 871514f01108ee9827beae768acf1160d4bbb808..c98a1306f22e21908b633c12e3eadb1a6b04e9cc 100644
--- a/chrome/browser/resources/settings/internet_page/internet_detail_page.html
+++ b/chrome/browser/resources/settings/internet_page/internet_detail_page.html
@@ -7,6 +7,7 @@
 <link rel="import" href="network_ip_config.html">
 <link rel="import" href="network_nameservers.html">
 <link rel="import" href="network_property_list.html">
+<link rel="import" href="network_proxy.html">
 
 <dom-module id="cr-settings-internet-detail-page">
   <link rel="import" type="css" href="chrome://md-settings/settings_page/settings_page.css">
@@ -72,6 +73,21 @@
               </network-property-list>
 
               <div class="layout vertical"
+                  hidden$="[[!hasNetworkSection_(networkState)]]">
+                <cr-button toggles active="{{proxyExpanded}}">
+                  Proxy
+                </cr-button>
+                <cr-collapse opened="[[proxyExpanded]]">
+                  <div id="proxyDiv" class="layout vertical flex">
+                    <network-proxy editable

[stevenjb, 2015/07/08 01:59:25]

elim 'editable' for now

+                        network-state="[[networkState]]"
+                        on-changed="onProxyChanged_">
+                    </network-proxy>
+                  </div>
+                </cr-collapse>
+              </div>
+
+              <div class="layout vertical"
                   hidden$="[[!hasDeviceFields_(networkState)]]">
                 <cr-button toggles active="{{deviceExpanded}}">
                   Device