Tobias Gritschacher has submitted this change and it was merged. Change subject: Require PHPUnit 3.7 ......................................................................
Require PHPUnit 3.7 Change-Id: Ie8850f5c940830c95e878d994da77f63bdfc342f --- M Tests/Phpunit/phpunit.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Tobias Gritschacher: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/Tests/Phpunit/phpunit.php b/Tests/Phpunit/phpunit.php index 9652729..5d5681e 100755 --- a/Tests/Phpunit/phpunit.php +++ b/Tests/Phpunit/phpunit.php @@ -7,9 +7,9 @@ require_once( 'PHPUnit/Runner/Version.php' ); if ( PHPUnit_Runner_Version::id() !== '@package_version@' - && version_compare( PHPUnit_Runner_Version::id(), '3.6.7', '<' ) + && version_compare( PHPUnit_Runner_Version::id(), '3.7', '<' ) ) { - die( 'PHPUnit 3.6.7 or later required, you have ' . PHPUnit_Runner_Version::id() . ".\n" ); + die( 'PHPUnit 3.7 or later required, you have ' . PHPUnit_Runner_Version::id() . ".\n" ); } require_once( 'PHPUnit/Autoload.php' ); -- To view, visit https://gerrit.wikimedia.org/r/57705 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie8850f5c940830c95e878d994da77f63bdfc342f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Ask Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Aude <aude.w...@gmail.com> Gerrit-Reviewer: Daniel Kinzler <daniel.kinz...@wikimedia.de> Gerrit-Reviewer: Daniel Werner <daniel.wer...@wikimedia.de> Gerrit-Reviewer: John Erling Blad <jeb...@gmail.com> Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits