Translations:MediaWiki 1.35/19/de-formal

Red Hat 8 und CentOS 7 stellen PHP 7.2 als Standard bereit.