From 05e230fee473b653e38e233b4a684f51e3d08fdf Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Sat, 19 Aug 2023 14:22:39 +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: I5863af5d7c298ffe7fec38934307465947452958
---
 extension.json | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/extension.json b/extension.json
index 6c5b30da..56c05a74 100644
--- a/extension.json
+++ b/extension.json
@@ -13,7 +13,7 @@
 	"license-name": "GPL-2.0-or-later",
 	"type": "editor",
 	"requires": {
-		"MediaWiki": ">= 1.41.0"
+		"MediaWiki": ">= 1.41"
 	},
 	"MessagesDirs": {
 		"WikiEditor": [
@@ -43,7 +43,10 @@
 	},
 	"ResourceModules": {
 		"ext.wikiEditor": {
-			"targets": [ "desktop", "mobile" ],
+			"targets": [
+				"desktop",
+				"mobile"
+			],
 			"group": "ext.wikiEditor",
 			"packageFiles": [
 				"ext.wikiEditor.js",
@@ -272,7 +275,10 @@
 			]
 		},
 		"ext.wikiEditor.styles": {
-			"targets": [ "desktop", "mobile" ],
+			"targets": [
+				"desktop",
+				"mobile"
+			],
 			"group": "ext.wikiEditor",
 			"styles": "ext.wikiEditor.toolbar.styles.less"
 		},