Jeroen De Dauw has submitted this change and it was merged. Change subject: Bump min MediaWiki and PHP versions ......................................................................
Bump min MediaWiki and PHP versions Change-Id: I60fe8f3584b017811f6a2ef37914b58858d7de89 --- M INSTALL M SemanticMediaWiki.php 2 files changed, 6 insertions(+), 9 deletions(-) Approvals: Mwjames: Verified; Looks good to me, but someone else must approve Jeroen De Dauw: Looks good to me, approved Objections: Kghbln: There's a problem with this change, please improve -- To view, visit https://gerrit.wikimedia.org/r/37059 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I60fe8f3584b017811f6a2ef37914b58858d7de89 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SemanticMediaWiki Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Daniel Werner <[email protected]> Gerrit-Reviewer: Denny Vrandecic <[email protected]> Gerrit-Reviewer: Foxtrott <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Kghbln <[email protected]> Gerrit-Reviewer: Markus Kroetzsch <[email protected]> Gerrit-Reviewer: Mwjames <[email protected]> Gerrit-Reviewer: Nischayn22 <[email protected]> Gerrit-Reviewer: Yaron Koren <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
