Split OptionsPage into Page and PageManager

chrome/browser/resources/options/reset_profile_settings_banner.js

 // Copyright 2013 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.
 
 // Note: the native-side handler for this is ResetProfileSettingsHandler.
 
 cr.define('options', function() {
-  /** @const */ var OptionsPage = options.OptionsPage;
+  /** @const */ var PageManager = cr.ui.pageManager.PageManager;
   /** @const */ var SettingsBannerBase = options.SettingsBannerBase;
 
   /**
    * ResetProfileSettingsBanner class
    * Provides encapsulated handling of the Reset Profile Settings banner.
    * @constructor
    */
   function ResetProfileSettingsBanner() {}
 
   cr.addSingletonGetter(ResetProfileSettingsBanner);
@@ skipping 13 matching lines @@
       this.setVisibilibyDomElement_ = $('reset-profile-settings-banner');
 
       $('reset-profile-settings-banner-close').onclick = function(event) {
         chrome.send('metricsHandler:recordAction',
             ['AutomaticReset_WebUIBanner_ManuallyClosed']);
         ResetProfileSettingsBanner.dismiss();
       };
       $('reset-profile-settings-banner-activate').onclick = function(event) {
         chrome.send('metricsHandler:recordAction',
             ['AutomaticReset_WebUIBanner_ResetClicked']);
-        OptionsPage.navigateToPage('resetProfileSettings');
+        PageManager.navigateToPage('resetProfileSettings');
       };
     },
   };
 
   // Forward public APIs to private implementations.
   [
     'show',
     'dismiss',
   ].forEach(function(name) {
     ResetProfileSettingsBanner[name] = function() {
       var instance = ResetProfileSettingsBanner.getInstance();
       return instance[name + '_'].apply(instance, arguments);
     };
   });
 
   // Export
   return {
     ResetProfileSettingsBanner: ResetProfileSettingsBanner
   };
 });