Upgrade auf PHP7.2