Index: chrome/browser/resources/options2/options.js |
diff --git a/chrome/browser/resources/options2/options.js b/chrome/browser/resources/options2/options.js |
index 55287dc2e6bb6d9f83dc34c7055d8cbc6914a8b8..1052d809b537828fec2d7915c80d0b755559ec58 100644 |
--- a/chrome/browser/resources/options2/options.js |
+++ b/chrome/browser/resources/options2/options.js |
@@ -24,7 +24,6 @@ var PasswordManager = options.PasswordManager; |
var Preferences = options.Preferences; |
var PreferredNetworks = options.PreferredNetworks; |
var ManageProfileOverlay = options.ManageProfileOverlay; |
-var ProxyOptions = options.ProxyOptions; |
var SearchEngineManager = options.SearchEngineManager; |
var SearchPage = options.SearchPage; |
var SessionRestoreOverlay = options.SessionRestoreOverlay; |
@@ -137,8 +136,6 @@ function load() { |
[$('pointer-settings-button')]); |
OptionsPage.registerOverlay(PreferredNetworks.getInstance(), |
BrowserOptions.getInstance()); |
- OptionsPage.registerOverlay(ProxyOptions.getInstance(), |
- DetailsInternetPage.getInstance()); |
OptionsPage.registerOverlay( |
new OptionsPage('languageChewing', |
templateData.languageChewingPageTabTitle, |