Update 06.11.2019, 12:00 Uhr
Die Arbeiten sind abgeschlossen.
Wir aktualisieren PHP 7.1, 7.2 und 7.3 auf den folgenden Servern:
Nach der Aktualisierung sind auf den oben genannten Servern die Versionen 7.1.33, 7.2.24 sowie 7.3.11 installiert. Informationen zu den Versionen finden Sie auf der Website der PHP Group: