Symfony 5 - Mettre à jour les versions de PHP disponibles

J'utilise des VPS installés avec Ubuntu server 18.04. La version de PHP installée par défaut sur une 18.04 est 7.2. Mais j'avais besoin d'utiliser une version 7.4 pour mes projets Symfony...

J'ai bien pu installer cette version grace à :

$ sudo apt install software-properties-common

$ sudo add-apt-repository ppa:ondrej/php

$ sudo apt update

Une fois Nginx configuré avec la bonne version de PHP, je pensais qu'il suffisait de le relancer... sans rien d'autre. Seulement, voila : problème, notamment pour faire un "clear cache" :

# symfony console c:c

Composer detected issues in your platform:

Your Composer dependencies require a PHP version ">= 7.4.0". You are running 7.2.34-10+ubuntu18.04.1+deb.sury.org+1.

PHP Fatal error:  Composer detected issues in your platform: Your Composer dependencies require a PHP version ">= 7.4.0". You are running 7.2.34-10+ubuntu18.04.1+deb.sury.org+1. in /var/www/olivierprieur.fr/olivierprieur/vendor/composer/platform_check.php on line 24

exit status 255

Symfony ne reconnait plus la bonne version de PHP.

Mais il existe une commande simple pour y remédier :

# symfony local:php:refresh

 Available PHP versions refreshed!

... et maintenant le clear cache se passe sans problème :

# symfony console c:c

 // Clearing the cache for the prod environment with debug false

 [OK] Cache for the "prod" environment (debug=false) was successfully cleared.