PHP 7.2 does the job, it seems. Damn, that is actually something I could have thought about earlier… was a bit tricky to get to the settings, though.
Now the navigation menu does’nt link to the propoer pages anymore. Any suggestions on that
Anyway, thanks a lot so far, great tool!