diff --git a/ecrire/inc/utils.php b/ecrire/inc/utils.php index a9e63b89e1862383dd5c3cb2329b0696acce6ae4..1e1bb82d8ee5437bb9cbc9aeb2a66e8ea2197e28 100644 --- a/ecrire/inc/utils.php +++ b/ecrire/inc/utils.php @@ -565,7 +565,7 @@ function spip_timer($t='rien', $raw = false) { $s = sprintf("%d ", $x = floor($p/1000)); $p -= ($x*1000); } - return $s . sprintf("%.3f ms", $p); + return $s . sprintf($s?"%07.3f ms":"%.3f ms", $p); } }