mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-23 10:26:26 +00:00
build: Update MediaWiki requirement to 1.40.0
All extensions in the MediaWiki tarball are expected to track MediaWiki's release directly. Change-Id: I3c4b3cb612bf64dc99a29eba1f1fe3d1393dbf9c
This commit is contained in:
parent
e14dd3afa7
commit
d271a92bd4
|
@ -13,7 +13,7 @@
|
|||
"license-name": "GPL-2.0-or-later",
|
||||
"type": "editor",
|
||||
"requires": {
|
||||
"MediaWiki": ">= 1.39.0"
|
||||
"MediaWiki": ">= 1.40.0"
|
||||
},
|
||||
"MessagesDirs": {
|
||||
"WikiEditor": [
|
||||
|
@ -44,7 +44,10 @@
|
|||
},
|
||||
"ResourceModules": {
|
||||
"ext.wikiEditor": {
|
||||
"targets": [ "desktop", "mobile" ],
|
||||
"targets": [
|
||||
"desktop",
|
||||
"mobile"
|
||||
],
|
||||
"group": "ext.wikiEditor",
|
||||
"packageFiles": [
|
||||
"ext.wikiEditor.js",
|
||||
|
@ -299,7 +302,10 @@
|
|||
]
|
||||
},
|
||||
"ext.wikiEditor.styles": {
|
||||
"targets": [ "desktop", "mobile" ],
|
||||
"targets": [
|
||||
"desktop",
|
||||
"mobile"
|
||||
],
|
||||
"group": "ext.wikiEditor",
|
||||
"styles": "ext.wikiEditor.toolbar.styles.less"
|
||||
},
|
||||
|
|
Loading…
Reference in a new issue