jenkins-bot has submitted this change and it was merged. Change subject: Update MediaWiki dependency to >=1.25 ......................................................................
Update MediaWiki dependency to >=1.25 1.25 is the current stable on http://www.mediawiki.org Change-Id: Ia7636a323744e1ee0a312b2a48a1386673ab7818 --- M composer.json 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Hoo man: Looks good to me, approved jenkins-bot: Verified diff --git a/composer.json b/composer.json index 32f0089..58fee3d 100644 --- a/composer.json +++ b/composer.json @@ -49,7 +49,7 @@ "squizlabs/php_codesniffer": "~2.1" }, "conflict": { - "mediawiki/mediawiki": "<1.23" + "mediawiki/mediawiki": "<1.25" }, "autoload": { "classmap": [ -- To view, visit https://gerrit.wikimedia.org/r/249982 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia7636a323744e1ee0a312b2a48a1386673ab7818 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Thiemo Mättig (WMDE) <[email protected]> Gerrit-Reviewer: Hoo man <[email protected]> Gerrit-Reviewer: Legoktm <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
