mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-09-23 18:38:18 +00:00
682732897d
Change-Id: I01da9a88cd69facfeb33b37a727d1cd65c12a78d
13 lines
381 B
JSON
13 lines
381 B
JSON
{
|
|
"@metadata": {
|
|
"authors": []
|
|
},
|
|
"discussiontools": "Discussion tools",
|
|
"discussiontools-defaultsummary-reply": "Reply",
|
|
"discussiontools-desc": "Tools to enhance discussion pages.",
|
|
"discussiontools-replylink": "Reply",
|
|
"discussiontools-replywidget-cancel": "Cancel",
|
|
"discussiontools-replywidget-loading": "Loading…",
|
|
"discussiontools-replywidget-reply": "Reply"
|
|
}
|