How to switch to a different PHP version?
Go to Site Tools > Devs > PHP Manager > PHP Versions > click Edit (pencil button).

In the popup choose “Change PHP versions Manually” in the first drop down and then choose the desired PHP version in the second drop down and click Confirm.
