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

build: Update MediaWiki requirement to 1.41

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

Change-Id: I69d58367c129625a0b1159e92b4b30ec7b892a78
This commit is contained in:
James D. Forrester 2023-08-19 13:29:08 +08:00
parent 0fb924313a
commit e143c30341
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.40.0"
"MediaWiki": ">= 1.41"
},
"AutoloadNamespaces": {
"MediaWiki\\Linter\\": "includes/"