wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 19:09:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
1730 commits 161 branches 1 tag 190 MiB
Commit graph

2 commits

Author SHA1 Message Date
Gabriel Wicke 59fc634cce Update patched html5 library to version 0.3.8 
Change-Id: I321d9a58ea1af33842a606fc8706938093a8330f
 2012-06-06 10:17:03 +02:00
Gabriel Wicke b750ce38b8 Add node.js-compatible HTML5 parser and hook it up to the PEG tokenizer. 
Builds a DOM tree (jsdom) from the tokens and then serializes that using
document.innerHTML. This is all very experimental, so don't be surprised by
rough edges.
 2011-11-18 13:57:07 +00:00