jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/386563 )
Change subject: composer.json: Document PHP version requirement
......................................................................
composer.json: Document PHP version requirement
Change-Id: I86914ae8d2d9941a0be57457d883bbe2a8684d22
---
M composer.json
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/composer.json b/composer.json
index 7d3cf3e..672564a 100644
--- a/composer.json
+++ b/composer.json
@@ -1,4 +1,7 @@
{
+ "require": {
+ "php": ">= 5.5.9"
+ },
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.9",
"mediawiki/mediawiki-codesniffer": "0.7.2",
--
To view, visit https://gerrit.wikimedia.org/r/386563
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I86914ae8d2d9941a0be57457d883bbe2a8684d22
Gerrit-PatchSet: 1
Gerrit-Project: integration/docroot
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
