Symfony 5 - Mettre à jour les versions de PHP disponibles

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.