mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-09-25 03:18:17 +00:00
29 lines
1.6 KiB
JSON
29 lines
1.6 KiB
JSON
{
|
|
"@metadata": {
|
|
"authors": []
|
|
},
|
|
"discussiontools": "Discussion tools",
|
|
"discussiontools-defaultsummary-reply": "Reply",
|
|
"discussiontools-desc": "Tools to enhance discussion pages.",
|
|
"discussiontools-replylink": "Reply",
|
|
"discussiontools-replywidget-anon-warning": "<strong>You are not logged in.</strong> To receive attribution with your name instead of your IP address, you can [$1 log in] or [$2 create an account].",
|
|
"discussiontools-replywidget-cancel": "Cancel",
|
|
"discussiontools-replywidget-loading": "Loading…",
|
|
"discussiontools-replywidget-preview": "Preview",
|
|
"discussiontools-replywidget-reply": "Reply",
|
|
"discussiontools-replywidget-terms-click": "By clicking \"$1\", you agree to the terms of use for this wiki.",
|
|
"tag-discussiontools": "DiscussionTools edit",
|
|
"tag-discussiontools-description": "Edit made using DiscussionTools",
|
|
"tag-discussiontools-edit": "edited comment",
|
|
"tag-discussiontools-edit-description": "User edited an existing comment with DiscussionTools",
|
|
"tag-discussiontools-newtopic": "added topic",
|
|
"tag-discussiontools-newtopic-description": "User added a new topic to the page with DiscussionTools",
|
|
"tag-discussiontools-reply": "replied",
|
|
"tag-discussiontools-reply-description": "User replied to an existing comment with DiscussionTools",
|
|
"tag-discussiontools-source": "DiscussionTools: source",
|
|
"tag-discussiontools-source-description": "DiscussionTools was in source mode",
|
|
"tag-discussiontools-visual": "DiscussionTools: visual",
|
|
"tag-discussiontools-visual-description": "DiscussionTools was in VisualEditor mode"
|
|
|
|
}
|