Merge "Allow PHPUnit 6 optionally in require-dev"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Apr 2018 17:59:57 +0000 (17:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Apr 2018 17:59:57 +0000 (17:59 +0000)
commiteb188bef3c3b04aafe4e8283875786b03c01e5e3
treee2d6a3b860f064a1ee15f5b40530497f3340d0b9
parent93a531f935febc0d2f1c143ddef815a5ccf1a87b
parent45a0f997340ce7e03cba0d3e948a2429bfebc38c
Merge "Allow PHPUnit 6 optionally in require-dev"