jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372871 )
Change subject: Don't use tab indenting between array items
......................................................................
Don't use tab indenting between array items
Change-Id: Ifbc293c5075c6518edbefd5d7c4b6ce2cd71ace3
---
M resources/mode/mediawiki/mediawiki.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Niharika29: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/mode/mediawiki/mediawiki.js
b/resources/mode/mediawiki/mediawiki.js
index bc044df..ddc68da 100644
--- a/resources/mode/mediawiki/mediawiki.js
+++ b/resources/mode/mediawiki/mediawiki.js
@@ -33,7 +33,7 @@
rp: true, rt: true, rtc: true, p: true, span:
true, abbr: true, dfn: true,
kbd: true, samp: true, data: true, time: true,
mark: true, br: true,
wbr: true, hr: true, li: true, dt: true, dd:
true, td: true, th: true,
- tr: true, noinclude: true, includeonly:
true, onlyinclude: true },
+ tr: true, noinclude: true, includeonly: true,
onlyinclude: true },
isBold, isItalic, firstsingleletterword,
firstmultiletterword, firstspace, mBold, mItalic, mTokens = [],
mStyle;
--
To view, visit https://gerrit.wikimedia.org/r/372871
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifbc293c5075c6518edbefd5d7c4b6ce2cd71ace3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Niharika29 <nko...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
