Merci beaucoup pour cette réponse. Echo %path% m'a fait sauter aux yeux que le PATH qui perturbait le choix de la bonne version de php.exe se trouvait non pas dans les variables utilisateurs, mais dans les variables système. Et comme en accès rapide on elles sont en lecture seule, on n'y prête pas a...

Bonjour, J'ai installé diverses versions de PHP sur mon PC Windows 10 au travers de distributions Laragon (nativement en 7.2) sur lesquelles je rajoute les versions dont j'ai besoin, dont la 8 actuellement. J'ai donc des php.exe un peu partout sur mon disque dur, et autant de php.ini suivant ce que ...