Tobias Gritschacher has submitted this change and it was merged.
Change subject: Specify that PHPUnit should be 3.7.*
......................................................................
Specify that PHPUnit should be 3.7.*
Change-Id: I3de214d96e3966931b4ae6dbc491c8c380f70995
---
M composer.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Tobias Gritschacher: Verified; Looks good to me, approved
diff --git a/composer.json b/composer.json
index 83a8f4b..6e762cd 100644
--- a/composer.json
+++ b/composer.json
@@ -23,7 +23,7 @@
"php": ">=5.3.0"
},
"require-dev": {
- "phpunit/phpunit": "*"
+ "phpunit/phpunit": "3.7.*"
},
"suggest": {
"mediawiki/core" : "dev-master"
--
To view, visit https://gerrit.wikimedia.org/r/57349
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3de214d96e3966931b4ae6dbc491c8c380f70995
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <jeroended...@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
