From 134b9925aa7b5ead4a13c44e01135e876b1bb3a6 Mon Sep 17 00:00:00 2001
From: Javier Spagnoletti <phansys@gmail.com>
Date: Tue, 31 Mar 2020 05:48:28 -0300
Subject: [PATCH] Drop support of php 7.1 (#6010)

Co-authored-by: Vincent Langlet <VincentLanglet@users.noreply.github.com>