The new addition states:
We may drop support for EOL versions of PHP, but will have at least one compatible version for each MediaWiki version we support.
Could this be modified so that support can be dropped only for PHP versions not supported by the current stable MediaWiki version (but supported by the previous one)? In the current wording, it may pose stricter requirements on users than usual extensions, which have release branches, while in my understanding, the compatibility policy is about posing less strict requirements on users. It would even allow entirely dropping PHP 7 support in the 2023.07 release (by that time MediaWiki 1.40 should be released), even though for example Debian 12 may not have been released at that point, meaning that no supported Debian release would contain a PHP version supported by MLEB (Debian 11 contains only 7.4).