jenkins-bot has submitted this change and it was merged.
Change subject: Update indentation to use tabs
......................................................................
Update indentation to use tabs
Change-Id: I6031f65bd36858a93a6ac367c272def0eff55aac
---
M i18n/en.json
1 file changed, 14 insertions(+), 14 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/i18n/en.json b/i18n/en.json
index e4699e1..da8ca40 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -1,16 +1,16 @@
{
- "@metadata": {
- "authors": [
- "Nike",
- "SPQRobin"
- ]
- },
- "useroptionstats": "User option statistics",
- "useroptionstats-desc": "[[Special:UserOptionStats|Special page]] for
reporting on MediaWiki user option usage",
- "uos-warn": "PHPlot is not installed!",
- "uos-choose": "Choose one of the following user options: $1",
- "uos-choose-hidden": "Choose one of the following hidden user options: $1",
- "uos-unknown": "*Default",
- "uos-other": "*Other",
- "uos-title": "Distribution of values of user option $1"
+ "@metadata": {
+ "authors": [
+ "Nike",
+ "SPQRobin"
+ ]
+ },
+ "useroptionstats": "User option statistics",
+ "useroptionstats-desc": "[[Special:UserOptionStats|Special page]] for
reporting on MediaWiki user option usage",
+ "uos-warn": "PHPlot is not installed!",
+ "uos-choose": "Choose one of the following user options: $1",
+ "uos-choose-hidden": "Choose one of the following hidden user options:
$1",
+ "uos-unknown": "*Default",
+ "uos-other": "*Other",
+ "uos-title": "Distribution of values of user option $1"
}
--
To view, visit https://gerrit.wikimedia.org/r/245797
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6031f65bd36858a93a6ac367c272def0eff55aac
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UserOptionStats
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
