wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Support definition lists with empty definition

Browse source 
Change-Id: I81c39a7e49f2ea7ce32cdd3600caeb5eb9f50d84
This commit is contained in:
Gabriel Wicke 2012-05-25 15:40:32 +02:00
parent 1ce2bc605d
commit a31ccaabe4
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/parser/pegTokenizer.pegjs.txt
View file

@ -1338,7 +1338,7 @@ dtdd
// Fortunately dtdds cannot be nested, so we can simply set the flag
// back to 0 to disable it.
& { stops.counters['colon'] = 0; return true;}
d:inlineline
d:inlineline?
&eolf {
// Convert trailing space into  
// XXX: This should be moved to a serializer
@ -1355,7 +1355,8 @@ dtdd
li.bullets = bullets + ";";
var li2 = new TagTk( 'listItem' );
li2.bullets = bullets + ":";
return [ li ].concat( c, [ li2 ], d );
return [ li ].concat( c, [ li2 ], d || new NlTk() );
}
// Fall-back case to clear the colon flag
/ & { return true; } { stops.counters['colon'] = 0; return null; }