Läuft definitiv unter PHP 7.2. Lizenzmanager muss weg und durch Ansehen der bootstrap.php erkennt man sofort, ob noch ein Plugin verschlüsselt ist oder nicht.
Unter Umständen einfach das unverschlüsselte Plugin, sofern vorhanden, vom Kundencenter laden und damit die verschlüsselten Versionen überspielen. So habe ich das neulich gemacht. Läuft!