How to change the PHP version that the PHP toolbox runs by default? The default is 5.4, I want to change it to 7.1.
1
0
0
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
