https://bugzilla.wikimedia.org/show_bug.cgi?id=60517
Web browser: ---
Bug ID: 60517
Summary: Update to pegjs 0.8
Product: Parsoid
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: tokenizer
Assignee: gwi...@wikimedia.org
Reporter: gwi...@wikimedia.org
CC: jforres...@wikimedia.org, ssas...@wikimedia.org
Classification: Unclassified
Mobile Platform: ---
0.8 promises better performance, besides a bunch of other improvements:
https://github.com/gwicke/pegjs/blob/master/CHANGELOG.md
At a minimum, we'll need to change all references to pos and pos0 to peg$pos
etc, and also rework the cache key patch regexp in mediawiki.tokenizer.peg.js.
Also relevant:
"Removed the toSource method of generated parsers and introduced a new output
option of the PEG.buildParser method. It allows callers to specify whether they
want to get back the parser object or its source code."
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
