Possibility to change the main CLI PHP version

[dmarklund]

AFAIK this is not possible in the Herd gui or cli. MAMP Pro offers this feature which is the only one missing in Herd to be honest.