Index: chrome/browser/resources/file_manager/main.html |
diff --git a/chrome/browser/resources/file_manager/main.html b/chrome/browser/resources/file_manager/main.html |
index 7f293933efd5bd99cf7c755c2265a4abb9cdbaed..69b8be2b7c6f95d2e15aa5f1e4825707e7859603 100644 |
--- a/chrome/browser/resources/file_manager/main.html |
+++ b/chrome/browser/resources/file_manager/main.html |
@@ -6,6 +6,7 @@ |
--> |
<html> |
<head> |
+ <script src="js/metrics.js"></script> |
<script> |
// Resources from shared locations are loaded dynamically, so we can |
// get them from file:// when running as a normal web page, and from |
@@ -83,6 +84,10 @@ |
<script src="js/main.js"></script> |
<script src="js/metadata_provider.js"></script> |
+ <script> |
+ metrics.recordTime('ScriptParse'); |
+ </script> |
+ |
<!-- We have to set some default title, or chrome will use the page |
-- name. As soon as we init and change to a directory, we'll use |
-- the directory as the page title. Until then, have a unicode glyph |