From 2c98febbac1b29bd583ef26f14911471e2622d0a Mon Sep 17 00:00:00 2001
From: bserie <bserie+gitit@evolix.fr>
Date: Wed, 20 Sep 2017 10:29:02 +0200
Subject: [PATCH] php 7.1

---
 HowtoPHP.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/HowtoPHP.md b/HowtoPHP.md
index ebe8e7e7..04d58894 100644
--- a/HowtoPHP.md
+++ b/HowtoPHP.md
@@ -39,6 +39,25 @@ Composer version 1.2.2 2016-11-03 17:43:15
 > # apt install php5 php5-cli php5-curl php5-mysql php5-pgsql php5-mcrypt php5-ldap php5-imap php5-gd php5-ssh2 php-gettext libphp-phpmailer
 > ~~~
 
+### PHP 7.1 avec deb.sury.org
+
+Si on a absolument besoin de PHP 7.1 pour un projet, il est possible de l'installer depuis Debian 9 avec le dépôt non officiel [deb.sury.org](https://deb.sury.org/). Ce dépôt est maintenu par Ondřej Surý qui maintient aussi la version stable de PHP 7.0 dans Debian 9.
+
+~~~
+# wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg
+# chmod 644 /etc/apt/trusted.gpg.d/php.gpg
+# echo "deb https://packages.sury.org/php/ stretch main" > /etc/apt/sources.list.d/php71.list
+# apt update
+~~~
+
+~~~
+# apt install php php-cli php-curl php-mysql php-pgsql php-mcrypt php-ldap php-imap php-gd php-ssh2 php-gettext composer libphp-phpmailer
+$ php -v
+PHP 7.1.9-1+0~20170902060745.8+stretch~1.gbpebe5d6 (cli) (built: Sep  2 2017 06:07:49) ( NTS )
+Copyright (c) 1997-2017 The PHP Group
+Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies
+    with Zend OPcache v7.1.9-1+0~20170902060745.8+stretch~1.gbpebe5d6, Copyright (c) 1999-2017, by Zend Technologies
+~~~
 
 ### PHP-FPM