From 6a843491f7e5a9bffe2f3a9c3129816ad1c12ce5 Mon Sep 17 00:00:00 2001
From: Jeremy P <jrahmy+git@gmail.com>
Date: Thu, 27 Jul 2023 18:38:23 -0700
Subject: [PATCH] Lower PHP version constraint

The higher version is only necessary for Wikimedia CI purposes.
---
 composer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/composer.json b/composer.json
index 7072b615..fc1c0931 100644
--- a/composer.json
+++ b/composer.json
@@ -41,7 +41,7 @@
 		"bin/lessc"
 	],
 	"require": {
-		"php": ">=7.2.9"
+		"php": ">=7.2.5"
 	},
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "40.0.1",