Merge pull request #578 from ergebnis/fix/version

Fix: Require PHP 7.2 for tools
ergebnis · Oct 21, 2020 · d41dfa2 · d41dfa2
2 parents 2a56c49 + 9c13c3f
commit d41dfa2
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