Maison >développement back-end >Problème PHP >wdcp comment changer la version de php
Comment changer la version de php avec wdcp : installez d'abord l'extension php fileinfo ; puis recherchez et ouvrez le fichier "php.ini" et enfin ajoutez le contenu comme "no-debug-non-zts-20170718/ ; fileinfo.so" et enregistrez-le.
Recommandé : "Tutoriel vidéo PHP"
wdcp changer la version de php
wget http://down.wdlinux.cn/in/phps.sh sh phps.sh
Attendez une dizaine de minutes ! ! !
Parce que la modification vers 7.2 nécessite le mode single-n, je l'ai changé en single-n
Puis j'ai découvert que le mediawiki installé nécessite l'extension php fileinfo
Enfin wdcp donne php7.2 php ini ajouté
extension= /www/wdlinux/phps/72/lib/php/extensions/no-debug-non-zts-20170718/fileinfo.so
et enfin installé avec succès fileinfo
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!