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

Make the parser service slightly more robust against serializer failures

Browse source 
Change-Id: I50624a56fd0319f6acb6fd1c171c7c6f92a97d31
This commit is contained in:
Gabriel Wicke 2012-07-11 12:01:05 +02:00
parent ebcd6d2941
commit 64d2a089d8
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
api/ParserService.js
View file

@ -264,6 +264,9 @@ var roundTripDiff = function ( req, res, src, document ) {
res.write(document.body.innerHTML + '<hr>'); res.write(document.body.innerHTML + '<hr>');
res.write( '<h2>HTML DOM converted back to Wikitext</h2><hr>' ); res.write( '<h2>HTML DOM converted back to Wikitext</h2><hr>' );
var out = new WikitextSerializer({env: env}).serializeDOM( document.body ); var out = new WikitextSerializer({env: env}).serializeDOM( document.body );
if ( out === undefined ) {
out = "An error occured in the WikitextSerializer, please check the log for information";
}
res.write('<pre>' + htmlSpecialChars( out ) + '</pre><hr>\n'); res.write('<pre>' + htmlSpecialChars( out ) + '</pre><hr>\n');
res.write( '<h2>Diff between original Wikitext (green) and round-tripped wikitext (red)</h2><hr>\n' ); res.write( '<h2>Diff between original Wikitext (green) and round-tripped wikitext (red)</h2><hr>\n' );
var patch; var patch;