Make benmark duration output more prettier.
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Thu, 6 Sep 2012 20:06:46 +0000 (22:06 +0200)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Sep 2012 17:31:01 +0000 (17:31 +0000)
commit581bcbe31002b77146ce3d2bff676db1d8a8ecc3
tree5b715b6e57c46fc2b865eed46bd70f8a539b3703
parent6ed71add43f0f73c10c1ea3788f3a22c89f2b5a5
Make benmark duration output more prettier.

- Output miliseconds instead of second, much easier to read without
  a bunch of leading zeros
- Give precision up to the microsecond in benchmarkHooks

Change-Id: Id47e55eb311c926757c50a432c8992999908c03e
maintenance/benchmarks/bench_delete_truncate.php
maintenance/benchmarks/benchmarkHooks.php