Page MenuHomePhabricator

MediaWiki 1.38 still appears to support PHP 7.2
Closed, ResolvedPublic

Description

https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/core/+/b51f9b6975a29f6bc4b788e1aa3e042b85b4af46/includes/PHPVersionCheck.php

$minimumVersion = '7.2.22';
/**
 * This is a list of known-bad ranges of PHP versions. Syntax is like SemVer – either:
 *
 *  - '1.2.3' to prohibit a single version of PHP, or
 *  - '1.2.3 – 1.2.5' to block a range, inclusive.
 *
 * Whitespace will be ignored.
 *
 * The key is not shown to users; use it to prompt future developers as to why this was
 * chosen, ideally one or more Phabricator task references.
 *
 * Remember to drop irrelevant ranges when bumping $minimumVersion.
 */
$knownBad = array(
	'CVE-2019-11048' => '7.3.0 - 7.3.18',
	// https://bugs.php.net/bug.php?id=79174 as a regression from https://bugs.php.net/bug.php?id=78929
	'T243667, T291127' => '7.4.0 - 7.4.2'
);

If edit vendor/composer/platform_check.php to prevent PHP version checking, MediaWiki 1.38 actually works in PHP 7.2. PHP 7.2 must only work with the master branch.

test.png (300×463 px, 26 KB)

Event Timeline

Change 802906 had a related patch set uploaded (by Bluehill395; author: Bluehill395):

[mediawiki/core@REL1_38] Drop PHP 7.2 support in MediaWiki 1.38; require 7.3.19

https://gerrit.wikimedia.org/r/802906

Change 802906 merged by jenkins-bot:

[mediawiki/core@REL1_38] Drop PHP 7.2 support in MediaWiki 1.38; require 7.3.19

https://gerrit.wikimedia.org/r/802906