| Index: chrome/browser/resources/options/options.html
|
| diff --git a/chrome/browser/resources/options/options.html b/chrome/browser/resources/options/options.html
|
| index 6d62f0026c7956efbea4863353bbb89053d6a4d8..2b1b3f19a8622f01467ff96a344b736cffb878ae 100644
|
| --- a/chrome/browser/resources/options/options.html
|
| +++ b/chrome/browser/resources/options/options.html
|
| @@ -99,6 +99,7 @@
|
| <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/icon.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>
|
|
|