jenkins-bot has submitted this change and it was merged.
Change subject: Bug 52938: Only trigger indent pre on spaces
......................................................................
Bug 52938: Only trigger indent pre on spaces
Change-Id: I90149255cf0a6918ae8ff38a2f88b0d144893f18
---
M js/lib/pegTokenizer.pegjs.txt
M js/tests/parserTests-blacklist.js
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Subramanya Sastry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/js/lib/pegTokenizer.pegjs.txt b/js/lib/pegTokenizer.pegjs.txt
index 3c6c0e6..d7b79dc 100644
--- a/js/lib/pegTokenizer.pegjs.txt
+++ b/js/lib/pegTokenizer.pegjs.txt
@@ -1359,7 +1359,8 @@
}
/ & { return stops.dec('pre'); }
-pre_indent_line = space l:inlineline {
+// Don't recognize tabs
+pre_indent_line = " " l:inlineline {
//console.warn( JSON.stringify( [s, l] ) );
return [' '].concat(l);
}
diff --git a/js/tests/parserTests-blacklist.js
b/js/tests/parserTests-blacklist.js
index c396ec7..413f8d2 100644
--- a/js/tests/parserTests-blacklist.js
+++ b/js/tests/parserTests-blacklist.js
@@ -708,7 +708,6 @@
add("html2html", "Italicized possessive");
add("html2html", "nowiki 3");
add("html2html", "Preformatted text");
-add("html2html", "Tabs don't trigger preformatted text");
add("html2html", "<pre> with <nowiki> inside (compatibility with 1.6 and
earlier)");
add("html2html", "Bug 52763: Preformatted in <blockquote>");
add("html2html", "<pre> with attributes (bug 3202)");
--
To view, visit https://gerrit.wikimedia.org/r/92364
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I90149255cf0a6918ae8ff38a2f88b0d144893f18
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/Parsoid
Gerrit-Branch: master
Gerrit-Owner: GWicke <[email protected]>
Gerrit-Reviewer: Arlolra <[email protected]>
Gerrit-Reviewer: Cscott <[email protected]>
Gerrit-Reviewer: Subramanya Sastry <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
