Split OptionsPage into Page and PageManager

chrome/browser/resources/chromeos/proxy_settings.js

 // Copyright (c) 2012 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.
 
-var OptionsPage = options.OptionsPage;
 var Preferences = options.Preferences;
 var DetailsInternetPage = options.internet.DetailsInternetPage;
 
 /**
  * DOMContentLoaded handler, sets up the page.
  */
 function load() {
   if (cr.isChromeOS)
     document.documentElement.setAttribute('os', 'chromeos');
 
@@ skipping 31 matching lines @@
 }
 
 disableTextSelectAndDrag(function(e) {
   var src = e.target;
   return src instanceof HTMLTextAreaElement ||
          src instanceof HTMLInputElement &&
          /text|url/.test(src.type);
 });
 
 document.addEventListener('DOMContentLoaded', load);