Mettre à jour PHP 7.0 ou 7.1 vers PHP 7.2 sur Debian ou Ubuntu

Mettre à jour PHP 7.0 ou 7.1 vers PHP 7.2 sur Debian ou Ubuntu

Je vais devoir mettre à jour Shaarli …​ et donc passer en php 7.2 …​