jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/360668 )
Change subject: Update php to 5.4
......................................................................
Update php to 5.4
Extension is using short array syntax
Change-Id: Idd4dd29b587bc9ce6966ce2907f80b3554d76a80
---
M composer.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/composer.json b/composer.json
index e97cb41..3e4e401 100644
--- a/composer.json
+++ b/composer.json
@@ -6,7 +6,7 @@
"prefer-stable": true,
"require": {
"firebase/php-jwt": "4.0.0",
- "php": ">=5.3.3"
+ "php": ">=5.4"
},
"require-dev": {
"jakub-onderka/php-parallel-lint": "0.9",
--
To view, visit https://gerrit.wikimedia.org/r/360668
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idd4dd29b587bc9ce6966ce2907f80b3554d76a80
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OAuth
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
