PHP Umstieg 7.0 auf 7.2

Ich push mal eben nach oben. :slight_smile: