mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-09-24 10:58:20 +00:00
6 lines
133 B
JSON
6 lines
133 B
JSON
{
|
|
"@metadata": [],
|
|
"discussiontools": "The name of the extension",
|
|
"discussiontools-desc": "{{desc|name=DiscussionTools|url=}}"
|
|
}
|