Ouvrez le terminal et tapez :
sudo add-apt-repository ppa:ondrej/php
sudo apt update
sudo apt install php7.3 # The latest version in this repo for 18.04 and 20.04 is currently php7.4.
php7.3 sera mis à jour automatiquement lorsque les mises à jour seront disponibles. Vous pouvez également construire php7.3 à partir des sources dans Ubuntu 18.04, mais il ne sera pas mis à jour automatiquement, et il faut aussi plus d'une heure pour le construire si vous voulez le tester aussi.
Après avoir installé php7.3, vous pouvez afficher les modules php7.3 qui peuvent également être installés en exécutant la commande suivante :
apt-cache search php7.3 | grep php7.3
Une commande rapide en une ligne pour installer les mêmes paquets sur php7.3 que sur php7.2 :
sudo apt install $(apt list --installed | grep php7.2- | cut -d'/' -f1 | sed -e 's/7.2/7.3/g')