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
    Classification: Unclassified
   Mobile Platform: ---

0.8 promises better performance, besides a bunch of other improvements:

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

Reply via email to