PHP ツールボックスがデフォルトで実行する PHP バージョンを変更するにはどうすればよいですか?デフォルトは5.4ですが、7.1に変更したいと思います。
手動でクリックしてバージョンを切り替えてください!
![[Web フロントエンド] Node.js クイック スタート](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
手動でクリックしてバージョンを切り替えてください!