Merge "Fixed some incorrect Profiler comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Nov 2014 20:48:19 +0000 (20:48 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Nov 2014 20:48:19 +0000 (20:48 +0000)
commitc0f02acd40a6b2d1a390ee1c2dbf5301d44fa866
tree94c55a3075249870352bfdad9bc0c82e25e691a5
parent918891d2e15be6408e5f45f2d5d52a4cef1ee5d6
parent205393fb91d7a73bd93dfeb69006e2049c87c32b
Merge "Fixed some incorrect Profiler comments"
includes/profiler/output/ProfilerOutputDb.php