wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-23 16:06:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add MW version dependency and use manifest_version 2

Browse source 
Change-Id: I276a1b6883b0e95d1a136a09f11f99d04fec389b
This commit is contained in:
Ed Sanders 2019-10-12 17:12:39 +01:00 committed by Reedy
parent 6f8185a7d4
commit 3bceff526e
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
extension.json
View file

@ -4,7 +4,10 @@
"version": "0.0.0",
"namemsg": "discussiontools",
"descriptionmsg": "discussiontools-desc",
"manifest_version": 1,
"manifest_version": 2,
"requires": {
"MediaWiki": ">= 1.34.0"
},
"MessagesDirs": {
"DiscussionTools": [ "i18n" ]
},