Translations:MediaWiki 1.35/19/en

Red Hat 8 and CentOS 7 provide PHP 7.2 by default.