From 077ed25abbc17c510cee6b5015a04ed8b45f735f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=A9my=20Dufraisse?=
 <jeremy.dufraisse-info@orange.fr>
Date: Mon, 25 Dec 2023 14:01:32 +0100
Subject: [PATCH] fix(composer): be compatible with php 7.2.5

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

diff --git a/composer.json b/composer.json
index 20cf8a3..10db0d9 100644
--- a/composer.json
+++ b/composer.json
@@ -56,5 +56,15 @@
             "dev-master": "2.1.x-dev",
             "dev-pico-3.0": "3.0.x-dev"
         }
+    },
+    "config": {
+        "platform": {
+            "php": "7.2.5"
+        },
+        "platform-check": true,
+        "sort-packages": true,
+        "allow-plugins": {
+            "picocms/composer-installer": true
+        }
     }
 }