jenkins-bot has submitted this change and it was merged.
Change subject: Add full stops to error messages
......................................................................
Add full stops to error messages
Change-Id: I4b742cc94dc6bb21f4a81755c19668cf3b30ee3b
---
M UserMerge.i18n.php
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/UserMerge.i18n.php b/UserMerge.i18n.php
index 758767c..6e0f440 100644
--- a/UserMerge.i18n.php
+++ b/UserMerge.i18n.php
@@ -11,17 +11,17 @@
$messages['en'] = array(
'usermerge' => 'Merge and delete users',
'usermerge-desc' => "[[Special:UserMerge|Merges
references from one user to another user]] in the wiki database - will also
delete old users following merge. Requires ''usermerge'' privileges",
- 'usermerge-badolduser' => 'Invalid old username',
- 'usermerge-badnewuser' => 'Invalid new username',
+ 'usermerge-badolduser' => 'Invalid old username.',
+ 'usermerge-badnewuser' => 'Invalid new username.',
'usermerge-nonewuser' => 'Empty new username. Assuming merge
to "{{GENDER:$1|$1}}".<br />
Click "{{int:usermerge-submit}}" to accept.',
- 'usermerge-noolduser' => 'Empty old username',
+ 'usermerge-noolduser' => 'Empty old username.',
'usermerge-fieldset' => 'Usernames to merge',
'usermerge-olduser' => 'Old user (merge from):',
'usermerge-newuser' => 'New user (merge to):',
'usermerge-deleteolduser' => 'Delete old user',
'usermerge-submit' => 'Merge user',
- 'usermerge-badtoken' => 'Invalid edit token',
+ 'usermerge-badtoken' => 'Invalid edit token.',
'usermerge-userdeleted' => '$1 ($2) has been deleted.',
'usermerge-userdeleted-log' => 'Deleted user: $2 ($3)',
'usermerge-updating' => 'Updating $1 table ($2 to $3)',
--
To view, visit https://gerrit.wikimedia.org/r/55840
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4b742cc94dc6bb21f4a81755c19668cf3b30ee3b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UserMerge
Gerrit-Branch: master
Gerrit-Owner: Shirayuki <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
