build: Update MediaWiki requirement to 1.40.0

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

Change-Id: I3261da8948b32665571f8b93e76a4ca4bf0f57e0
This commit is contained in:
James D. Forrester 2023-03-13 23:38:25 -04:00
parent f02a3a2821
commit ed17954ea9

View file

@ -14,7 +14,7 @@
"license-name": "GPL-2.0-or-later",
"type": "parserhook",
"requires": {
"MediaWiki": ">= 1.36",
"MediaWiki": ">= 1.40.0",
"platform": {
"ability-shell": true
}
@ -86,7 +86,10 @@
"syntaxhighlight-visualeditor-mwsyntaxhighlightinspector-startingline",
"syntaxhighlight-visualeditor-mwsyntaxhighlightinspector-title"
],
"targets": [ "desktop", "mobile" ]
"targets": [
"desktop",
"mobile"
]
}
},
"Hooks": {