Note that this is not an official PHP tool but something tied to Laravel and a tool called <i>Herd</i>.<p>The installation script is kind of sketchy and does not always check for existing installations and may mess with paths.
Why not set the environment by spawning the proper docker containers rather than having to choose for a specific version of PHP and its dependencies?<p>And this, of course, applied to as many things as possible.