From f17d1e1c4683b1f7720f26a1bd05692463102da4 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Tue, 17 Jan 2012 12:19:51 +0000
Subject: [PATCH] If you want to display miliseconds, make the time be really
 miliseconds and not seconds

---
 resources/mediawiki/mediawiki.debug.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/mediawiki/mediawiki.debug.js b/resources/mediawiki/mediawiki.debug.js
index 39244bad16..70f90bb630 100644
--- a/resources/mediawiki/mediawiki.debug.js
+++ b/resources/mediawiki/mediawiki.debug.js
@@ -261,7 +261,7 @@
 				$( '<tr>' )
 					.append( $( '<td>' ).text( i + 1 ) )
 					.append( $( '<td>' ).text( query.sql ) )
-					.append( $( '<td class="stats">' ).text( query.time.toFixed( 4 )+ 'ms' ) )
+					.append( $( '<td class="stats">' ).text( ( query.time * 1000 ).toFixed( 4 ) + 'ms' ) )
 					.append( $( '<td>' ).text( query['function'] ) )
 				.appendTo( $table );
 			}
-- 
2.20.1