From e143c30341d35f50d238214103b63a4a61e9e588 Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Sat, 19 Aug 2023 13:29:08 +0800
Subject: [PATCH] build: Update MediaWiki requirement to 1.41

All extensions in the MediaWiki tarball are expected to track MediaWiki's release directly.

Change-Id: I69d58367c129625a0b1159e92b4b30ec7b892a78
---
 extension.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension.json b/extension.json
index 42b05dfd..2cf48886 100644
--- a/extension.json
+++ b/extension.json
@@ -10,7 +10,7 @@
 	"descriptionmsg": "linter-desc",
 	"type": "specialpage",
 	"requires": {
-		"MediaWiki": ">= 1.40.0"
+		"MediaWiki": ">= 1.41"
 	},
 	"AutoloadNamespaces": {
 		"MediaWiki\\Linter\\": "includes/"