From ba69e0dd09fa2388287fa459ddbe31cc38602724 Mon Sep 17 00:00:00 2001 From: Morris Jobke Date: Wed, 25 Jul 2018 08:53:37 +0200 Subject: [PATCH] Add 7.2 for 13 Signed-off-by: Morris Jobke --- admin_manual/installation/source_installation.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin_manual/installation/source_installation.rst b/admin_manual/installation/source_installation.rst index 83f999386..da370036c 100644 --- a/admin_manual/installation/source_installation.rst +++ b/admin_manual/installation/source_installation.rst @@ -84,7 +84,7 @@ If you get a result, the module is present. Required: -* PHP (>= 5.6, 7.0 or 7.1) +* PHP (>= 5.6, 7.0, 7.1 or 7.2) * PHP module ctype * PHP module dom * PHP module GD