Wer gern die aktuellste PHP Version nutzt wird die oben genannte Version mit Sicherheit kennen. Um das Problem bis zum nächsten Update zu beheben, findet Ihr hier eine Lösung.
