PHP Umstieg 7.0 auf 7.2

und nicht vergessen: auch der lizenzmanager muss raus wenn du php 7.2 nutzen möchtest (oder musst)