wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 10:21:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Update MediaWiki requirement to 1.40.0

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

Change-Id: I9aad7fa3442f5d89943e5dd7eee0b4ca9e3aaa61
This commit is contained in:
James D. Forrester 2023-03-13 23:36:00 -04:00
parent a855e2f8e1
commit 4a3d4d15b4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -10,7 +10,7 @@
"descriptionmsg": "linter-desc",
"type": "specialpage",
"requires": {
"MediaWiki": ">= 1.38.0"
"MediaWiki": ">= 1.40.0"
},
"AutoloadNamespaces": {
"MediaWiki\\Linter\\": "includes/"