wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 02:23:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Further tweaks to headings. 157 tests now passing.

Browse source
This commit is contained in:
Gabriel Wicke 2011-12-06 11:59:41 +00:00
parent 228fccd0c1
commit 2b5cc67bf5
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/parser/pegParser.pegjs.txt
View file

@ -622,7 +622,7 @@ h = & "=" // guard, to make sure '='+ will match.
& { return setFlag('h'); }
c:inlineline
e:'='+
spc:(space / comment)*
spc:(sp:space+ { return {type: 'TEXT', value: sp.join('') } } / comment)*
&eolf
{
clearFlag('h');
@ -637,7 +637,7 @@ h = & "=" // guard, to make sure '='+ will match.
}
}
if(e.length > level) {
var extras = e.substr(0, s.length - level),
var extras = e.substr(0, e.length - level),
lastElem = c[c.length - 1];
if(lastElem.type == 'TEXT') {
lastElem.value = lastElem.value + extras;
@ -647,7 +647,7 @@ h = & "=" // guard, to make sure '='+ will match.
}
return [{type: 'TAG', name: 'h' + level}]
.concat(c, [{type: 'ENDTAG', name: 'h' + level}]);
.concat(c, [{type: 'ENDTAG', name: 'h' + level}, spc]);
}
/ & { dp('nomatch exit h'); clearFlag('h'); return false } { return null }
) { return r }