Ce guide explique comment modifier la version de PHP utilisée en ligne de commande (PHP CLI) sur un hébergement Web Infomaniak.

Préambule

• Cette configuration permet de choisir la version de PHP utilisée par les scripts exécutés en ligne de commande via SSH.
• Pour modifier la version de PHP utilisée par les sites (FPM/Apache) depuis le Manager, prenez connaissance de cet autre guide.
• Le 21 octobre 2026, l'équipe PHP a publié de nouvelles versions corrigeant deux vulnérabilités critiques (❓: aide):
  • Les correctifs de sécurité fournis par les équipes PHP ont été déployés avec succès sur l'ensemble de l'infrastructure mutualisée et Serveurs Cloud, pour les versions PHP 8.5, 8.4, 8.3, 8.2, 8.1, 8.0 et 7.4.
  • Les numéros de version PHP restent inchangés, mais les correctifs de sécurité ont bien été appliqués sur l'ensemble des services concernés.

Vérifier la version de PHP utilisée en CLI

La commande php utilise le premier binaire PHP trouvé dans la variable d'environnement PATH. Pour connaître la version utilisée et son emplacement, exécutez :

php -v
which php

Le numéro affiché correspond à la version du binaire utilisé en CLI. Il ne correspond pas nécessairement à celle configurée pour les sites.

Vérifier la date de compilation et les correctifs de sécurité

Pour afficher la date de compilation du binaire PHP utilisé, exécutez :

php -i | grep "Build Date"

Si vous utilisez un chemin explicite vers une version de PHP, vous pouvez également vérifier sa date de compilation :

/opt/php8.3/bin/php -i | grep "Build Date"

Certains correctifs de sécurité peuvent être intégrés par Infomaniak à un binaire PHP recompilé, sans modification du numéro de version affiché. Une version apparemment plus ancienne que la dernière version publiée officiellement (❓: aide) ne signifie donc pas nécessairement que les correctifs sont absents.

Modifier la version de PHP en CLI

Vous pouvez choisir la version de PHP chargée par défaut dans vos sessions SSH en modifiant la variable d'environnement PATH.

1. Modifier le fichier .bashrc (recommandé)

Le fichier ~/.bashrc contient la configuration des sessions Bash interactives.

1. Ouvrez le fichier ou créez-le s'il n'existe pas :

   nano ~/.bashrc

2. Ajoutez la ligne suivante pour utiliser PHP 8.3, par exemple :

   export PATH="/opt/php8.3/bin:$PATH"

3. Rechargez la configuration :

   source ~/.bashrc

4. Vérifiez la version et le chemin utilisés :

   php -v
   which php

2. Charger .bashrc lors de la connexion SSH (si nécessaire)

Si votre session SSH ne charge pas automatiquement ~/.bashrc, ajoutez le code suivant dans le fichier de connexion utilisé par votre shell, par exemple ~/.bash_profile ou ~/.profile :

if [ -f ~/.bashrc ]; then
    . ~/.bashrc
fi

Exécuter ponctuellement une version précise

Pour exécuter un script avec une version particulière sans modifier la configuration par défaut, indiquez directement le chemin du binaire :

/opt/php8.2/bin/php my_script.php
/opt/php8.3/bin/php -v

La version choisie dans PATH sera utilisée par défaut dans les sessions qui chargent cette configuration. Vous pourrez toujours exécuter une autre version en indiquant son chemin complet.