Fix: Require PHP 7.2 for tools

ergebnis · Oct 21, 2020 · 9c13c3f · 9c13c3f
1 parent 709204f
commit 9c13c3f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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