From ee998f71736957d1e41d07a12f4d36fc1ed0604c Mon Sep 17 00:00:00 2001
From: Adrien Loison <adrilo@users.noreply.github.com>
Date: Mon, 3 Dec 2018 16:45:19 +0100
Subject: [PATCH] For PHP 7.1 for Composer

If local PHP is 7.2, we still want to download dependencies compatible with PHP 7.1
---
 composer.json | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 81a49e4..8943469 100644
--- a/composer.json
+++ b/composer.json
@@ -33,6 +33,10 @@
         "branch-alias": {
             "dev-master": "3.1.x-dev"
         }
+    },
+    "config": {
+        "platform": {
+            "php": "7.1"
+        }
     }
-
 }