Check if there are those two files under your extension file directory. If not, go to the Internet to download the same PHP version as yours
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
Check if there are those two files under your extension file directory. If not, go to the Internet to download the same PHP version as yours