Split OptionsPage into Page and PageManager

chrome/browser/resources/options/options.html

Index: chrome/browser/resources/options/options.html
diff --git a/chrome/browser/resources/options/options.html b/chrome/browser/resources/options/options.html
index 3b700041fcf1619d30090bba27e3d3a46d454ddb..7e9991e4694115d5ec9f1d580193c22a7f6f2ad7 100644
--- a/chrome/browser/resources/options/options.html
+++ b/chrome/browser/resources/options/options.html
@@ -95,6 +95,8 @@
 <script src="chrome://resources/js/cr/ui/position_util.js"></script>
 <script src="chrome://resources/js/cr/ui/repeating_button.js"></script>
 <script src="chrome://resources/js/cr/ui/tree.js"></script>
+<script src="chrome://resources/js/cr/ui/page_manager/page_manager.js"></script>
+<script src="chrome://resources/js/cr/ui/page_manager/page.js"></script>
 <script src="chrome://resources/js/load_time_data.js"></script>
 <script src="chrome://resources/js/parse_html_subset.js"></script>
 <script src="chrome://resources/js/util.js"></script>