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