Umstellung auf PHP 7.2

Bis Ende Dezember 2019 werden alle Webpakete auf PHP 7.2 umgestellt. Webpakete mit PHP-Versionen >= 7.2 sind davon nicht betroffen und bleiben in ihrem aktuellen Status. Bitte stellen Sie sicher, das bis dahin alle Scripte entsprechend angepasst sind. Stellen Sie bitte auch sicher, das auf dem Webpaket laufende Applikationen (ständig) aktuell sind und mit PHP 7.2 zusammen arbeiten.