The documentation on switching php versions has gotten out of date.
A simple update-alternatives set --php 7.3 followed by bash /etc/my_init.d/60_restart_services.sh will not cut it anymore.
That is, because /etc/my_init.d/60_restart_services.sh now runs update-alternatives set --php ${PHP_VERSION}. It fetches the PHP_VERSION from file /etc/hypernode/magweb.json.
The documentation on switching php versions has gotten out of date.
A simple
update-alternatives set --php 7.3
followed bybash /etc/my_init.d/60_restart_services.sh
will not cut it anymore.That is, because
/etc/my_init.d/60_restart_services.sh
now runsupdate-alternatives set --php ${PHP_VERSION}
. It fetches thePHP_VERSION
from file/etc/hypernode/magweb.json
.