jenkins-bot has submitted this change and it was merged. Change subject: RELEASE-NOTES: Don't imply that HHVM 3.1 is supported ......................................................................
RELEASE-NOTES: Don't imply that HHVM 3.1 is supported HHVM 3.1 is no longer supported by Facebook, not packaged by any Linux distribution I know of, and MediaWiki is not routinely tested with it (e.g. neither Wikimedia Jenkins nor Travis CI runs automated tests using HHVM 3.1). The Compatibility section already has a note that "There is experimental support for HHVM 3.6.5 or later." So instead just refer to that section. (HHVM 3.6 is also no longer supported by Facebook or still used by Wikimedia, as far as I know, though that's a separate matter.) Change-Id: I62352f0edc6b9f95acaaef4cb717990e52db1146 --- M RELEASE-NOTES-1.27 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Chad: Looks good to me, approved Jforrester: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/RELEASE-NOTES-1.27 b/RELEASE-NOTES-1.27 index c13be51..6c93676 100644 --- a/RELEASE-NOTES-1.27 +++ b/RELEASE-NOTES-1.27 @@ -6,8 +6,8 @@ production. === PHP version requirement === -As of 1.27, MediaWiki now requires PHP 5.5.9 or higher. This corresponds with -HHVM 3.1. Additionally, the following PHP extensions are required: +As of 1.27, MediaWiki now requires PHP 5.5.9 or higher (see Compatibility +section). Additionally, the following PHP extensions are required: * ctype * iconv * json -- To view, visit https://gerrit.wikimedia.org/r/294667 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I62352f0edc6b9f95acaaef4cb717990e52db1146 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: PleaseStand <pleasest...@live.com> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits