Änderungen der PHP Versionen

Wie angekündigt wurde Version 7.1 nun am Ende ihrer Laufzeit deaktiviert. PHP 7.2 ist damit der aktuelle Standard sofern keine andere Version gewählt wurde.

Zudem haben wir die erst kürzlich Veröffentliche Version 7.4 hinzugefügt. Es stehen nun also 7.2, 7.3 und 7.4 zur Verfügung.