GWicke has uploaded a new change for review.
https://gerrit.wikimedia.org/r/130267
Change subject: Inline text_char in urltext production
......................................................................
Inline text_char in urltext production
Change-Id: I12285fab509c1d18e3addc785a7c958f7841e03e
---
M lib/pegTokenizer.pegjs.txt
1 file changed, 6 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/services/parsoid
refs/changes/67/130267/1
diff --git a/lib/pegTokenizer.pegjs.txt b/lib/pegTokenizer.pegjs.txt
index 4c141ee..7a92331 100644
--- a/lib/pegTokenizer.pegjs.txt
+++ b/lib/pegTokenizer.pegjs.txt
@@ -2195,7 +2195,12 @@
new EndTagTk( 'span', [], { tsr: [pos, pos] } )
];
}
- / t:text_char )+
+ // / t:text_char
+ // Inline copy of text_char for performance, as about 96% of
+ // text_char calls originate here.
+ // Keep in sync and/or remove after upgrading to pegjs 0.8 which
+ // inlines simple productions like these automatically.
+ / [^'<~[{\n\r:\]}|!=] )+
/*
'//', // for protocol-relative URLs, but not in text!
--
To view, visit https://gerrit.wikimedia.org/r/130267
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I12285fab509c1d18e3addc785a7c958f7841e03e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/parsoid
Gerrit-Branch: master
Gerrit-Owner: GWicke <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
