Umstellung PHP 5.6 auf 7.1