If you use Laravel Herd and PhpStorm, you may have noticed that the PHP set in PhpStorms config isn't being used in the terminal. Even though it's pointed to your e.g. php80 binary, when you enter php -v in PhpStorms terminal, you will get the default version set in…