| 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
|
|
|