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

All extensions in Wikimedia production are expected to track MediaWiki's release directly.

Change-Id: I9396997261ad6ec407f87321b4cff774b9798f45
---
 extension.json | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/extension.json b/extension.json
index bdde3b84..3c41d314 100644
--- a/extension.json
+++ b/extension.json
@@ -15,7 +15,7 @@
 	"type": "other",
 	"manifest_version": 2,
 	"requires": {
-		"MediaWiki": ">= 1.41.0"
+		"MediaWiki": ">= 1.41"
 	},
 	"ConfigRegistry": {
 		"revisionslider": "GlobalVarConfig::newInstance"
@@ -191,7 +191,11 @@
 	"HookHandlers": {
 		"RevisionSliderHooks": {
 			"class": "MediaWiki\\Extension\\RevisionSlider\\RevisionSliderHooks",
-			"services": [ "ConfigFactory", "UserOptionsLookup", "StatsdDataFactory" ]
+			"services": [
+				"ConfigFactory",
+				"UserOptionsLookup",
+				"StatsdDataFactory"
+			]
 		}
 	},
 	"DefaultUserOptions": {