I have installed php7. Why don't I bring these extensions? Do I have to install them one by one? I searched on Baidu and it takes a long time to install them. Is there a good way to install them? In the picture, these are all brought by the integrated environment under windows. Please ask for the installation method under Linux. I don’t want to use the integrated environment