From 58274c99d48f29d05f0a29474dc922ef42a3648b Mon Sep 17 00:00:00 2001
From: Mikael Nordfeldth <mmn@hethane.se>
Date: Tue, 26 Apr 2016 01:50:40 +0200
Subject: [PATCH] Some PHP7 related package names

---
 INSTALL | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/INSTALL b/INSTALL
index f7c2d21caf..ff755f2471 100644
--- a/INSTALL
+++ b/INSTALL
@@ -49,6 +49,19 @@ functional setup of GNU Social:
 - php5-mysqlnd  The native driver for PHP5 MariaDB connections. If you
                   use MySQL, 'php5-mysql' or 'php5-mysqli' may be enough.
 
+Or, for PHP7, some or all of these will be necessary. PHP7 support is still
+experimental and not necessarily working:
+    php7.0-bcmath
+    php7.0-curl
+    php7.0-exif
+    php7.0-gd
+    php7.0-intl
+    php7.0-mbstring
+    php7.0-mysqlnd
+    php7.0-opcache
+    php7.0-readline
+    php7.0-xmlwriter
+
 The above package names are for Debian based systems. In the case of
 Arch Linux, PHP is compiled with support for most extensions but they
 require manual enabling in the relevant php.ini file (mostly php5-gmp).