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 je veux en faire.
Tant que l'usage du PHP se fait via Apache, tout va bien. Je voudrais maintenant l'utiliser en CLI en version 8. Pour cela, j'ai mis le répertoire de mon php.exe en version 8 dans le PATH (et aucun autre répertoire d'une autre version de PHP), et au passage aussi une variable d'environnement PHPRC vers le bon php.ini
Mais quand je fais un php -v , c'est la version 7.2 qui m'est indiquée, avec au passage plantage de toutes les extensions spécifiées dans le php.ini qui lui est bien adressé par la variable PHPRC
Du coup, je commence par faire un where php.exe dans le terminal, pour découvrir que me sont indiqués 3 chemins vers php.exe, le 3eme seulement pointant vers le bon répertoire de la version 8
Et pour confirmer tout ça, e passe un php -r "echo PHP_BINARY;", qui m'indique le répertoire vers la version 7.2
Du coup, puisque ce n'est pas le PATH qui me fait pointer vers cette version 7.2, j'ai fouillé toute la base de registres, mais rien qui parle de PHP.
Quelqu'un aurait-il une idée du paramètre sur lequel se base l'intruction php -v pour déterminer la version, si ça ne vient ni du PATH, ni de la base de registres ?
Merci par avance.