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

Minor tweaks to messages

Browse source 
Changing things I found awkward while translating to Polish.

Change-Id: Iba8119bc75e49580011d931be8431b04a9453a5a
This commit is contained in:
Bartosz Dziewoński 2020-03-04 12:34:27 +01:00
parent fd74b988a3
commit efbda1b853
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
i18n/en.json
View file

@ -25,9 +25,9 @@
"tag-discussiontools-newtopic": "Add topic",
"tag-discussiontools-newtopic-description": "User added a new topic to the page with DiscussionTools",
"tag-discussiontools-reply": "Reply",
"tag-discussiontools-reply-description": "User replied to an existing comment with DiscussionTools",
"tag-discussiontools-reply-description": "User replied to a comment with DiscussionTools",
"tag-discussiontools-source": "Source",
"tag-discussiontools-source-description": "DiscussionTools was in source mode",
"tag-discussiontools-visual": "Visual",
"tag-discussiontools-visual-description": "DiscussionTools was in VisualEditor mode"
"tag-discussiontools-visual-description": "DiscussionTools was in visual mode"
}