Hallo,
Ich kenne All-Inkl und deren Server-Setup nicht, aber du kannst es ja leicht selbst ausprobieren, indem du per ssh verbindest und php --version
die php-cli version überprüfst.
Wenn dann php
auf eine alte Version zeigt, kannst du ja schauen, ob es noch andere php* binaries gibt.Vielleicht heißen sie php7.2
oder so.
Wenn du dann die richtige binary hast, brauchst du nur mehr mit ihr das console script ausführen. (php console der:rest
)