mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-13 18:37:07 +00:00
Merge "Drop meaningless VisualEditor version number 0.1.2"
This commit is contained in:
commit
1cbba98cad
|
@ -9,7 +9,7 @@
|
||||||
"requires": {
|
"requires": {
|
||||||
"MediaWiki": ">= 1.41",
|
"MediaWiki": ">= 1.41",
|
||||||
"extensions": {
|
"extensions": {
|
||||||
"VisualEditor": ">= 0.1.2",
|
"VisualEditor": "*",
|
||||||
"Linter": "*"
|
"Linter": "*"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
|
Loading…
Reference in a new issue