switch php tools' versions also while switching (#889)
switch php tools' versions also while switching (#889)


laravel/homestead,jordanramstad/homestead,svpernova09/homestead,jordanramstad/homestead,svpernova09/homestead,laravel/homestead,jordanramstad/homestead,laravel/homestead,svpernova09/homestead