Split OptionsPage into Page and PageManager

chrome/browser/resources/options/automatic_settings_reset_banner.js

Index: chrome/browser/resources/options/automatic_settings_reset_banner.js
diff --git a/chrome/browser/resources/options/automatic_settings_reset_banner.js b/chrome/browser/resources/options/automatic_settings_reset_banner.js
index 09439f53339359a1f4ab258be13b82ca83371e24..2a1573eb3f3b14f8b038effde6896c2768dd7047 100644
--- a/chrome/browser/resources/options/automatic_settings_reset_banner.js
+++ b/chrome/browser/resources/options/automatic_settings_reset_banner.js
@@ -6,6 +6,7 @@
 
 cr.define('options', function() {
   /** @const */ var SettingsBannerBase = options.SettingsBannerBase;
+  /** @const */ var PageManager = cr.ui.pageManager.PageManager;
 
   /**
    * AutomaticSettingsResetBanner class
@@ -43,7 +44,7 @@ cr.define('options', function() {
           function(event) {
         chrome.send('metricsHandler:recordAction',
             ['AutomaticSettingsReset_WebUIBanner_ResetClicked']);
-        OptionsPage.navigateToPage('resetProfileSettings');
+        PageManager.showPageByName('resetProfileSettings');
       };
     },
   };