Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/273587
Change subject: Remove double emphasis in string
......................................................................
Remove double emphasis in string
Change-Id: Ie657d4f9dcd436e5da52a21586eb1ec91af4204d
---
M i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/BatchUserRights
refs/changes/87/273587/1
diff --git a/i18n/en.json b/i18n/en.json
index 34495de..a855081 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -8,7 +8,7 @@
"batchuserrights-intro": "This page will let you add a group to
multiple users at once.\nFor security reasons, the list of addable groups is
set in the extension configuration and cannot be changed from within the
wiki.\nPlease ask a system administrator if you need to allow batch-adding of
other groups.",
"batchuserrights-single-progress-update": "Added
{{PLURAL:$1|group|groups}} to <strong>$2</strong>.",
"batchuserrights-add-groups": "Adding {{PLURAL:$1|one user|$1 users}}
to the following {{PLURAL:$2|group|groups}}: <strong>$3</strong>.",
- "batchuserrights-userload-error": "Could not load the user
\"'''$1'''\".",
+ "batchuserrights-userload-error": "Could not load the user '''$1'''.",
"batchuserrights-no-groups": "You did not choose any groups.\nThis will
not accomplish anything.\nThe rest of the page will be allowed to run just so
that you can easily see if any of the usernames could not be loaded.",
"right-batchuserrights": "Add one or more users to a group or multiple
groups in one action",
"action-batchuserrights": "add one or more users to a group or multiple
groups in one action"
--
To view, visit https://gerrit.wikimedia.org/r/273587
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie657d4f9dcd436e5da52a21586eb1ec91af4204d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BatchUserRights
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
