Hi all,
Now that Wikimedia production is fully on PHP 7.4[0], I propose dropping support for PHP 7.2 and 7.3 from the master branch (which currently means it'd apply to MW 1.40). PHP 7.2 is already not supported on the release branches since MW 1.35.
PHP 7.3 went end-of-life in late 2021, and both the latest Debian stable release (bullseye) and the latest Ubuntu LTS release (jammy) ship with newer versions (7.4 and 8.1, respectively).
Please consider this the policy-required[1] notice. These changes can be implemented in two weeks if there aren't any major objections here or in the relevant Phabricator task[2].
[0]: https://phabricator.wikimedia.org/T271736 [1]: https://www.mediawiki.org/wiki/Support_policy_for_PHP#Process [2]: https://phabricator.wikimedia.org/T261872
-- Taavi