Index: chrome/browser/resources/about_stats.html |
diff --git a/chrome/browser/resources/about_stats.html b/chrome/browser/resources/about_stats.html |
index f7ec0b23275a068d8d0295ee839508983d5c6a75..5f8c9a5dada2f2f2acc6f7c2e77a9733ee96f603 100644 |
--- a/chrome/browser/resources/about_stats.html |
+++ b/chrome/browser/resources/about_stats.html |
@@ -69,12 +69,13 @@ h2 { |
text-transform: lowercase; |
} |
</style> |
+<script src="chrome://resources/js/util.js"></script> |
<script src="chrome://stats/stats.js"></script> |
<script src="chrome://stats/strings.js"></script> |
</head> |
<body> |
<div style="float: right"> |
- <br>Filter: <input id="filter" type="text" value="" onkeyup="doFilter()"> |
+ <br>Filter: <input id="filter" type="text" value=""> |
</div> |
<h1 class="lower">About Stats</h1> |
<h2>Shhh! This page is secret!</h2><br/> |