wdcp更改php版本

参考：https://www.wdlinux.cn/bbs/thread-57646-1-1.html

wget http://down.wdlinux.cn/in/phps.sh
sh phps.sh

等待大概十几分钟！！！

因为修改成7.2需要单n模式，修改成单n
然后发现安装的mediawiki需要php的扩展fileinfo
然后参考安装fileinfo方法：https://www.wdlinux.cn/bbs/thread-58654-1-1.html
最后wdcp 给php7.2 的 php.ini 添加

extension= /www/wdlinux/phps/72/lib/php/extensions/no-debug-non-zts-20170718/fileinfo.so

最后终于安装成功fileinfo