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

Remove "successfully" from a message

Browse source 
This word is usually unnecessary in messages. See
https://www.mediawiki.org/wiki/Localisation#Avoid_jargon_and_slang

Change-Id: I54a11d4e18365209ff198a45e5e3c1c20e8353c4
This commit is contained in:
Amir E. Aharoni 2021-10-31 10:15:32 +02:00
parent 10111ea872
commit cc865692f1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
i18n/api/en.json
View file

@ -5,7 +5,7 @@
"apierror-discussiontools-commentid-notfound": "Comment with the ID '$1' not found.",
"apierror-discussiontools-commentname-ambiguous": "Multiple comments with the name '$1' found, <var>commentid</var> is required.",
"apierror-discussiontools-commentname-notfound": "Comment with the name '$1' not found.",
"apierror-discussiontools-formtoken-used": "Comment already posted successfully. Reload the page to see it.",
"apierror-discussiontools-formtoken-used": "Comment already posted. Reload the page to see it.",
"apierror-discussiontools-subscription-failed-add": "Could not subscribe to this topic.",
"apierror-discussiontools-subscription-failed-remove": "Could not unsubscribe from this topic.",
"apihelp-discussiontools-param-oldid": "The revision number to use (defaults to latest revision).",