From 5399c69f99f1614f2b6ec96c438251541fe9cc49 Mon Sep 17 00:00:00 2001 From: Yannick Warnier Date: Wed, 12 Aug 2020 14:49:16 +0200 Subject: [PATCH] Documentation: Removing official support for PHP 7.1. It still works, but we lack the infrastructure to do tests thoroughly enough. --- documentation/dependencies.html | 2 +- documentation/installation_guide.html | 2 +- documentation/installation_guide_es_ES.html | 2 +- documentation/installation_guide_fr_FR.html | 2 +- documentation/installation_guide_it_IT.html | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/documentation/dependencies.html b/documentation/dependencies.html index fe089aad1c..073c853468 100755 --- a/documentation/dependencies.html +++ b/documentation/dependencies.html @@ -71,7 +71,7 @@ We recommend using HTML5-compatible technology.

Dependencies - server-side