It is generally a good idea to drop support for old things in an LTS, otherwise we are stuck supporting them for 3 years, and are either stuck with them for the next three releases as well, or will have a hard time with backports. Wikimedia production is still using PHP 7.2 so I recommend dropping 7.2 support in the upcoming 1.35 release but keeping it in master until Wikimedia is ready to move. This is similar to what we have done in the past with PHP 5.
== Impact ==
PHP 7.3 has some of nice features (more reasonable heredoc/nowdoc syntax, trailing commas in function calls); we can only use those if we drop 7.2. Upping the minimum requirement also means we can take support for Argon2id (the current best practice in password hashing) for granted. Also, mb_* functions work significantly differently in 7.2 and 7.3 so supporting them in parallel would probably be annoying.
== Policy ==
Per [[https://www.mediawiki.org/wiki/Support_policy_for_PHP|Support policy for PHP]], the requirements for which PHP versions to support in a given release are:
* //A PHP version that will be supported by the upstream PHP Group for the full duration of that MediaWiki major release cycle (from our planned release date until our planned end-of-life date).//
** PHP **7.4** qualifies. [[https://www.php.net/supported-versions.php|(1)]]
* //A PHP version that is provided by a Debian Linux LTS release channel that will be supported for the duration of that MediaWiki release.//
** Buster qualifies [[https://wiki.debian.org/LTS|(2)]], it supports PHP **7.3** [[https://wiki.debian.org/PHP|(3)]]. (Assuming the odd release date moves back to May-ish, Stretch would qualify but it only supports 7.0 which we already dropped.)
* //A PHP version that is provided by an Ubuntu Linux LTS release channel that will be supported for the duration of that MediaWiki release.//
** Focal / 20.04 and Bionic / 18.04 qualify. [[https://wiki.ubuntu.com/Releases|(4)]] 20.04 comes with PHP **7.4**, 18.04 with 7.2. [[https://packages.ubuntu.com/search?keywords=php|(5)]] (16.04 would qualify too if we consider EOL instead of end of standard support, but it only comes with 7.0 anyway.)
* //For every Debian Linux LTS and Ubuntu Linux LTS release there must be at least one compatible MediaWiki version that is supported at the time the Linux distribution's LTS period starts.//
** LTS releases that start during the lifetime of MediaWiki 1.35: Stretch (2020 July - 2022 June, PHP 7.0), Buster (2022 July - 2024 June, PHP 7.3), Focal (2020 April - 2025 April, PHP 7.4). 7.0 is supported by MediaWiki 1.31 for another year; 7.3 and 7.4 are supported by MediaWiki 1.35. Check.
* //At any given point in time, there must be at least one combination of Debian Linux LTS and MediaWiki that both parties support for an overlapping period of two years. Thus allowing a site operator to remain on a given combination for 2 years (with support), before upgrading to the next supported combination. The same applies to Ubuntu Linux LTS as well.//
Thus, all of the policy requirements are met.