Ist richtig. Aber selbst die PHP 7.2 Version funktioniert in keinster Weise … das ist mir ein Rätsel.