Translations:Compatibility/154/en

MediaWiki 1.34 will require PHP 7.2+.