jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/392097 )
Change subject: Use tabs in json
......................................................................
Use tabs in json
Change-Id: Ic3b8f2ba738ae6447facfb87946a81a7878506b0
---
M .stylelintrc.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/.stylelintrc.json b/.stylelintrc.json
index 0fc57dc..2c90730 100644
--- a/.stylelintrc.json
+++ b/.stylelintrc.json
@@ -1,3 +1,3 @@
{
- "extends": "stylelint-config-wikimedia"
+ "extends": "stylelint-config-wikimedia"
}
--
To view, visit https://gerrit.wikimedia.org/r/392097
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic3b8f2ba738ae6447facfb87946a81a7878506b0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PronunciationRecording
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
