From a3bc3d37bb57b148895671a3723905d0033122cb Mon Sep 17 00:00:00 2001 From: lpoujol Date: Thu, 25 Jan 2018 15:00:06 +0100 Subject: [PATCH] Correction mise en forme --- HowtoPHP.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/HowtoPHP.md b/HowtoPHP.md index ec738179..95755741 100644 --- a/HowtoPHP.md +++ b/HowtoPHP.md @@ -45,7 +45,8 @@ Si l'on a absolument besoin d'une version de PHP plus récente (ie: 7.1 ou 7.2), Il est d'ailleurs préférable d'utiliser les paquets PHP qui précisent la version de php (php7.0, php7.1 ou php7.2 - Exemple php7.1-mbstring ou libapache2-mod-php7.1). Les paquets génériques php-XXX dépendent toujours de la dernière version de PHP disponible. -Exemple, si on souhaite seulement php7.1 +Exemple, si on souhaite seulement php7.1 : + ~~~ # wget /etc/apt/trusted.gpg.d/sury.gpg https://packages.sury.org/php/apt.gpg -O -|apt-key add - # echo "deb https://packages.sury.org/php/ stretch main" > /etc/apt/sources.list.d/sury.list