From 149f38fa73a5fad61b6e6a81f4088645ee3e6eb5 Mon Sep 17 00:00:00 2001
From: "James D. Forrester" <jforrester@wikimedia.org>
Date: Mon, 13 Mar 2023 23:36:17 -0400
Subject: [PATCH] build: Update MediaWiki requirement to 1.40.0

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

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

diff --git a/extension.json b/extension.json
index 91e503146..352347910 100644
--- a/extension.json
+++ b/extension.json
@@ -14,7 +14,7 @@
 	"license-name": "GPL-2.0-or-later",
 	"type": "parserhook",
 	"requires": {
-		"MediaWiki": ">= 1.39.0"
+		"MediaWiki": ">= 1.40.0"
 	},
 	"AutoloadNamespaces": {
 		"MediaWiki\\Extension\\Math\\": "src/"