mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-09-23 02:09:18 +00:00
build: Update MediaWiki requirement to 1.43
All extensions in the MediaWiki tarball are expected to track MediaWiki's release directly. Change-Id: I098a7fd0e99412cffa22bc55bde960d6c2a3af35
This commit is contained in:
parent
6cac54d602
commit
95686b4e7d
|
@ -10,7 +10,7 @@
|
|||
"descriptionmsg": "linter-desc",
|
||||
"type": "specialpage",
|
||||
"requires": {
|
||||
"MediaWiki": ">= 1.42"
|
||||
"MediaWiki": ">= 1.43"
|
||||
},
|
||||
"AutoloadNamespaces": {
|
||||
"MediaWiki\\Linter\\": "includes/"
|
||||
|
|
Loading…
Reference in a new issue