[MediaWiki-commits] [Gerrit] wikimedia...crm[master]: PHPunit 5.7, not 5.6

2017-07-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/363854 ) Change subject: PHPunit 5.7, not 5.6 .. PHPunit 5.7, not 5.6 Oops, I messed up Eileen's commit and then merged it. Fixing!

[MediaWiki-commits] [Gerrit] wikimedia...crm[master]: PHPunit 5.7, not 5.6

2017-07-07 Thread Ejegg (Code Review)
Ejegg has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/363854 ) Change subject: PHPunit 5.7, not 5.6 .. PHPunit 5.7, not 5.6 Oops, I messed up Eileen's commit and then merged it. Fixing! Change-Id: