Split OptionsPage into Page and PageManager

chrome/browser/resources/options/reset_profile_settings_banner.js

Index: chrome/browser/resources/options/reset_profile_settings_banner.js
diff --git a/chrome/browser/resources/options/reset_profile_settings_banner.js b/chrome/browser/resources/options/reset_profile_settings_banner.js
index ffa2b07c1c5c4adfda5e0adf7d828b5c7c4aafda..a117a2d6db77da20d1e787c271cc804f38db3f00 100644
--- a/chrome/browser/resources/options/reset_profile_settings_banner.js
+++ b/chrome/browser/resources/options/reset_profile_settings_banner.js
@@ -5,7 +5,7 @@
 // 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;
 
   /**
@@ -39,7 +39,7 @@ cr.define('options', function() {
       $('reset-profile-settings-banner-activate').onclick = function(event) {
         chrome.send('metricsHandler:recordAction',
             ['AutomaticReset_WebUIBanner_ResetClicked']);
-        OptionsPage.navigateToPage('resetProfileSettings');
+        PageManager.navigateToPage('resetProfileSettings');
       };
     },
   };