From 3a6930d265b33b3247cbbacd24cb8671d44f31a0 Mon Sep 17 00:00:00 2001
From: David Maus <dmaus@dmaus.name>
Date: Mon, 26 Aug 2019 17:08:31 +0200
Subject: [PATCH] Require PHP >= 7.1

Fix #3
---
 composer.json | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 05c3a2b..8bdb9f2 100644
--- a/composer.json
+++ b/composer.json
@@ -18,7 +18,12 @@
             "HAB\\Pica": "src/"
         }
     },
+    "require": {
+        "php": "^7.1"
+    },
     "require-dev": {
-        "phpunit/phpunit": "^8"
+        "phpunit/phpunit": "^8",
+        "phpstan/phpstan": "^0.11.15",
+        "phan/phan": "^2.2"
     }
 }
-- 
GitLab