php-switch
There are 2 repositories under php-switch topic.
JackieDo/Xampp-PHP-Switcher
Allow to use and switch between different versions of PHP for Xampp on Windows OS.
Rundiz/phpswitch
Switch PHP versions using the command line on Windows and Linux.