wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/parser
History
Gabriel Wicke 76bc477038 Rename html5TokenEmitter to HTML5TreeBuilder, and the contained Tokenizer to 
TreeBuilder.
2011-12-08 10:37:18 +00:00
..
html5 Rename html5TokenEmitter to HTML5TreeBuilder, and the contained Tokenizer to 2011-12-08 10:37:18 +00:00
ext.cite.taghook.ref.js Moving parser stuff back into the modules folder (oops) 2011-11-02 21:45:57 +00:00
mediawiki.DOMPostProcessor.js Fixes to tables, headings and misc smaller stuff. Tracked down an issue caused 2011-12-04 19:23:24 +00:00
mediawiki.HTML5TreeBuilder.node.js Rename html5TokenEmitter to HTML5TreeBuilder, and the contained Tokenizer to 2011-12-08 10:37:18 +00:00
mediawiki.parser.environment.js Moving parser stuff back into the modules folder (oops) 2011-11-02 21:45:57 +00:00
mediawiki.parser.peg.js Add node.js-compatible HTML5 parser and hook it up to the PEG tokenizer. 2011-11-18 13:57:07 +00:00
pegParser.pegjs.txt Tidy up the grammar a bit. 2011-12-08 10:33:23 +00:00