From d05b3aa6bb2d82a07bf5758e136cad2f8c7e4a7f Mon Sep 17 00:00:00 2001
From: Nicolas Grekas <nicolas.grekas@gmail.com>
Date: Mon, 27 Jun 2022 15:39:08 +0200
Subject: [PATCH] Lock platform to php 7.2.5 (#101)

---
 composer.json | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/composer.json b/composer.json
index 76abedd..b286257 100644
--- a/composer.json
+++ b/composer.json
@@ -25,6 +25,11 @@
         }
     },
     "bin": ["bin/insight"],
+    "config": {
+        "platform": {
+            "php": "7.2.5"
+        }
+    },
     "extra": {
         "branch-alias": {
             "dev-master": "1.5.x-dev"