From 9c13c3fb1b289d2fcb6d70fd582fed4255040bf7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=B6ller?= <am@localheinz.com>
Date: Wed, 21 Oct 2020 09:26:56 +0200
Subject: [PATCH] Fix: Require PHP 7.2 for tools

---
 tools/composer.json | 4 ++--
 tools/composer.lock | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tools/composer.json b/tools/composer.json
index bbce0ef3..d29e6198 100644
--- a/tools/composer.json
+++ b/tools/composer.json
@@ -1,6 +1,6 @@
 {
   "require": {
-    "php": "^7.1"
+    "php": "^7.2"
   },
   "require-dev": {
     "ergebnis/license": "~1.0.0",
@@ -10,7 +10,7 @@
   },
   "config": {
     "platform": {
-      "php": "7.1.33"
+      "php": "7.2.33"
     },
     "preferred-install": "dist",
     "sort-packages": true
diff --git a/tools/composer.lock b/tools/composer.lock
index 6a99d169..b886968c 100644
--- a/tools/composer.lock
+++ b/tools/composer.lock
@@ -4,7 +4,7 @@
         "Read more about it at https://getcomposer.org/doc/01-basic-usage.md#installing-dependencies",
         "This file is @generated automatically"
     ],
-    "content-hash": "457565f98e82ca208901d47d5441e60d",
+    "content-hash": "2d0c633aaef01337712fc9011327d949",
     "packages": [],
     "packages-dev": [
         {
@@ -3966,11 +3966,11 @@
     "prefer-stable": false,
     "prefer-lowest": false,
     "platform": {
-        "php": "^7.1"
+        "php": "^7.2"
     },
     "platform-dev": [],
     "platform-overrides": {
-        "php": "7.1.33"
+        "php": "7.2.33"
     },
     "plugin-api-version": "1.1.0"
 }