Merge "Remove phpunit profiling. It doesn't make any sense"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Feb 2015 18:57:26 +0000 (18:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Feb 2015 18:57:26 +0000 (18:57 +0000)
commitc79d9b67e3136dc5b0ab46cd4c0be4dd5af785a5
tree65e3893a543c66e27a8a7591e67e3eca04ef6649
parent61697bab1efd325e204b808e87afcff91396d370
parent950368c7e868ea6a1515419d013bb57493b382f4
Merge "Remove phpunit profiling. It doesn't make any sense"