From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Tue, 17 Jan 2012 12:19:51 +0000 (+0000)
Subject: If you want to display miliseconds, make the time be really miliseconds and not seconds
X-Git-Tag: 1.31.0-rc.0~25224
X-Git-Url: https://git.cyclocoop.org/%242?a=commitdiff_plain;h=f17d1e1c4683b1f7720f26a1bd05692463102da4;p=lhc%2Fweb%2Fwiklou.git

If you want to display miliseconds, make the time be really miliseconds and not seconds
---

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 );
 			}