Report time-related media metrics milliseconds instead of seconds.

tools/perf/metrics/media.js

 // Copyright 2013 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // This file contains common utilities to find video/audio elements on a page
 // and collect metrics for each.
 
 (function() {
   // MediaMetric class responsible for collecting metrics on a media element.
   // It attaches required event listeners in order to collect different metrics.
@@ skipping 131 matching lines @@
     this.start_ = 0;
     this.start();
   }
 
   Timer.prototype = {
     start: function() {
       this.start_ = getCurrentTime();
     },
 
     stop: function() {
-      // Return delta time since start in secs.
-      return ((getCurrentTime() - this.start_) / 1000).toFixed(3);
+      // Return delta time since start in millisecs.
+      return ((getCurrentTime() - this.start_)).toFixed(3);
     }
   };
 
   function checkElementIsNotBound(element) {
     if (!element)
       return;
     for (var i = 0; i < window.__mediaMetrics.length; i++) {
       if (window.__mediaMetrics[i].element == element)
         throw new Error('Can not create MediaMetric for same element twice.');
     }
@@ skipping 24 matching lines @@
     for (var i = 0; i < window.__mediaMetrics.length; i++)
       metrics.push(window.__mediaMetrics[i].getSummary());
     return metrics;
   }
 
   window.__globalCounter = 0;
   window.__mediaMetrics = [];
   window.__getAllMetrics = getAllMetrics;
   window.__createMediaMetricsForDocument = createMediaMetricsForDocument;
 })();