Index: chrome/browser/resources/options/options.html |
diff --git a/chrome/browser/resources/options/options.html b/chrome/browser/resources/options/options.html |
index 9d7499c09906777283a1780798cdde90b312f471..d65e97a10ffeda4d38c8023699b8133662d4e2d7 100644 |
--- a/chrome/browser/resources/options/options.html |
+++ b/chrome/browser/resources/options/options.html |
@@ -73,6 +73,7 @@ |
<script src="chrome://resources/js/cr/ui/list.js"></script> |
<script src="chrome://resources/js/cr/ui/grid.js"></script> |
<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/local_strings.js"></script> |
<script src="chrome://resources/js/util.js"></script> |