Edit History

hast du nochmal die class_index.php und den cache gelöscht?

Hast du auf PHP 7.1 umgestellt?