benchmarks: Add reporting of resource usage
authorTimo Tijhof <krinklemail@gmail.com>
Thu, 15 Jun 2017 17:05:52 +0000 (18:05 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Thu, 15 Jun 2017 17:21:53 +0000 (18:21 +0100)
commitcfb1379b9f9a06fc1f302c6d16d96306af9d33a9
tree51a3336709c9641a4e1952bb28af40b1b755a43d
parenta66d17af3cdbfaf1a12096ba7038c7cb744eeb68
benchmarks: Add reporting of resource usage

Change-Id: Ied06766cd02b14d835ed4217d5483f7cfad15af3
maintenance/benchmarks/Benchmarker.php