Convert timing to ms before we've recorded too much data

Change-Id: I0a4e18290cdc662e597484a94205a481415cbb7b

diff --git a/includes/diff/DifferenceEngine.php b/includes/diff/DifferenceEngine.php
index 1cf3918..a1a1bb0 100644 (file)
--- a/includes/diff/DifferenceEngine.php
+++ b/includes/diff/DifferenceEngine.php
@@ -847,7 +847,7 @@ class DifferenceEngine extends ContextSource {
                $result = $this->textDiff( $otext, $ntext );
 
                $time = microtime( true ) - $time;
-               $this->getStats()->timing( 'diff_time', $time );
+               $this->getStats()->timing( 'diff_time', $time * 1000 );
 
                return $result;
        }