Index: chrome/browser/resources/options/options.html |
diff --git a/chrome/browser/resources/options/options.html b/chrome/browser/resources/options/options.html |
index 784546708da3712fa169c11d026311e7478f5451..fac61edaf61af9bee1a13d703c43f52535e2b62b 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> |