jenkins-bot has submitted this change and it was merged.
Change subject: Minor cleanup in tokenizer
......................................................................
Minor cleanup in tokenizer
Change-Id: I1d0e4a3c4f84c01aa46e6e47f25554317ae8cc17
---
M lib/pegTokenizer.pegjs.txt
1 file changed, 1 insertion(+), 4 deletions(-)
Approvals:
Subramanya Sastry: Looks good to me, approved
jenkins-bot: Verified
diff --git a/lib/pegTokenizer.pegjs.txt b/lib/pegTokenizer.pegjs.txt
index 4963fa0..3eda74e 100644
--- a/lib/pegTokenizer.pegjs.txt
+++ b/lib/pegTokenizer.pegjs.txt
@@ -142,8 +142,7 @@
}
save_sol_state =
- & sol { options.pegTokenizer.savedSOL = true; return true; }
- / & { options.pegTokenizer.savedSOL = false; return true; }
+ & (s:sol? { options.pegTokenizer.savedSOL = !!s; return true; })
/*
* A document (start production) is a sequence of toplevelblocks. Tokens are
@@ -158,8 +157,6 @@
// [[:en:Barack Obama]], the difference is about 360M vs. 110M.
peg$cache = {};
- // Add source offsets for round-tripping. XXX: Add these not just for
- // toplevelblocks!
var tokens;
if ( Array.isArray(b) && b.length ) {
tokens = tu.flattenIfArray(b);
--
To view, visit https://gerrit.wikimedia.org/r/146084
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1d0e4a3c4f84c01aa46e6e47f25554317ae8cc17
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/parsoid
Gerrit-Branch: master
Gerrit-Owner: Arlolra <[email protected]>
Gerrit-Reviewer: GWicke <[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
