mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-28 02:00:57 +00:00
8830fce7f6
Judging by c60c154b38, tabs are preferred.
Change-Id: I1c61f579facbb476f45aeff99d49dd9f69cffc7e
8 lines
142 B
JSON
8 lines
142 B
JSON
{
|
|
"@metadata": {
|
|
"authors": []
|
|
},
|
|
"discussiontools": "Discussion tools",
|
|
"discussiontools-desc": "Tools to enhance discussion pages."
|
|
}
|