Remove the managed banner from the Chrome settings UI

chrome/browser/resources/options/chromeos/internet_detail.js

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 8d7ece84134fb7dd2068820421e3ca689f66ac99..e5e9390bd50536f5dc7b563e264454774923ea75 100644
--- a/chrome/browser/resources/options/chromeos/internet_detail.js
+++ b/chrome/browser/resources/options/chromeos/internet_detail.js
@@ -380,9 +380,10 @@ cr.define('options.internet', function() {
         bannerDiv.hidden = true;
       } else {
         bannerDiv.hidden = false;
-        // controlledBy must match strings loaded in proxy_handler.cc and
-        // set in proxy_cros_settings_provider.cc.
-        $('banner-text').textContent = loadTimeData.getString(controlledBy);
+        // The possible banner texts are loaded in proxy_handler.cc.
+        var bannerText = 'proxyBanner' + controlledBy.charAt(0).toUpperCase() +
+                         controlledBy.slice(1);
+        $('banner-text').textContent = loadTimeData.getString(bannerText);
       }
     },