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
