Server outage due to an upgrade of php version 7.2 to 7.3 taking away the running php.
Since this morning the server has been down because an upgrade of the php version underneath rendered the server unable to find php! We are now upgraded to php 7.3, I guess. Welcome to the future?