PHP

PHP notes

Switch PHP versions

Switch PHP versions using update-alternatives:

sudo update-alternatives --config php