mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-11 17:01:58 +00:00
Merge "build: Update MediaWiki requirement to 1.43"
This commit is contained in:
commit
1a28373ceb
|
@ -13,7 +13,7 @@
|
|||
"license-name": "GPL-2.0-or-later",
|
||||
"type": "editor",
|
||||
"requires": {
|
||||
"MediaWiki": ">= 1.42.0"
|
||||
"MediaWiki": ">= 1.43"
|
||||
},
|
||||
"MessagesDirs": {
|
||||
"WikiEditor": [
|
||||
|
|
Loading…
Reference in a new issue