jenkins-bot has submitted this change and it was merged.
Change subject: Update indentation to use tabs
......................................................................
Update indentation to use tabs
Change-Id: Ie33ef61d77e554fd2a566e6ec98bd82dbfe597ad
---
M i18n/en.json
1 file changed, 16 insertions(+), 16 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/i18n/en.json b/i18n/en.json
index e290211..7b0bc5b 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -1,18 +1,18 @@
{
- "@metadata": {
- "authors": [
- "SVG"
- ]
- },
- "reassignedits": "Reassign user edits",
- "reassignedits-desc": "Allows reassigning edits from an old user to a new
one",
- "reassignedits-error-invalid": "The username \"$1\" is invalid.",
- "reassignedits-new": "New username",
- "reassignedits-old": "Old username",
- "reassignedits-submit": "Submit",
- "reassignedits-success": "The edits by \"$1\" were reassigned to \"$2\".",
- "reassignedits-summary": "Reassign edits from an old user to a new one.",
- "reassignedits-updatelog-title": "Update username in log titles",
- "reassignedits-updatelog-user": "Update performing user in logs",
- "right-reassignedits": "Reassign edits from an old user to a new one"
+ "@metadata": {
+ "authors": [
+ "SVG"
+ ]
+ },
+ "reassignedits": "Reassign user edits",
+ "reassignedits-desc": "Allows reassigning edits from an old user to a
new one",
+ "reassignedits-error-invalid": "The username \"$1\" is invalid.",
+ "reassignedits-new": "New username",
+ "reassignedits-old": "Old username",
+ "reassignedits-submit": "Submit",
+ "reassignedits-success": "The edits by \"$1\" were reassigned to
\"$2\".",
+ "reassignedits-summary": "Reassign edits from an old user to a new
one.",
+ "reassignedits-updatelog-title": "Update username in log titles",
+ "reassignedits-updatelog-user": "Update performing user in logs",
+ "right-reassignedits": "Reassign edits from an old user to a new one"
}
--
To view, visit https://gerrit.wikimedia.org/r/245690
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie33ef61d77e554fd2a566e6ec98bd82dbfe597ad
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ReassignEdits
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[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
