Shirayuki has uploaded a new change for review.
https://gerrit.wikimedia.org/r/78921
Change subject: Simplify right-* messages
......................................................................
Simplify right-* messages
Change-Id: I0d9e509560ad9c9d26b5dfef05fa96e7d804eca0
---
M Push.i18n.php
1 file changed, 4 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Push
refs/changes/21/78921/1
diff --git a/Push.i18n.php b/Push.i18n.php
index 5a64b56..08d8ecf 100644
--- a/Push.i18n.php
+++ b/Push.i18n.php
@@ -17,9 +17,9 @@
$messages['en'] = array(
'push-desc' => 'Lightweight extension to push content to other wikis',
- 'right-push' => 'Authorization to use push functionality.',
- 'right-bulkpush' => 'Authorization to use bulk push functionality (ie
Special:Push).',
- 'right-pushadmin' => 'Authorization to modify push targets and push
settings.',
+ 'right-push' => 'Use push functionality',
+ 'right-bulkpush' => 'Use bulk push functionality (i.e. Special:Push)',
+ 'right-pushadmin' => 'Modify push targets and push settings',
'action-push' => 'push pages',
'action-bulkpush' => 'bulk push pages',
@@ -44,7 +44,7 @@
'group-filepusher.css' => '/* CSS placed here will affect filepushers
only */', # only translate this message to other languages if you have to
change it
'group-filepusher.js' => '/* JS placed here will affect filepushers
only */', # only translate this message to other languages if you have to
change it
- 'push-err-captacha' => 'Could not push to $1 due to captcha.',
+ 'push-err-captacha' => 'Could not push to $1 due to CAPTCHA.',
'push-err-captcha-page' => 'Could not push page $1 to all targets due
to CAPTCHA.',
'push-err-authentication' => 'Authentication at $1 failed. $2',
--
To view, visit https://gerrit.wikimedia.org/r/78921
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I0d9e509560ad9c9d26b5dfef05fa96e7d804eca0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Push
Gerrit-Branch: master
Gerrit-Owner: Shirayuki <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
