wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 04:06:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix a crasher in unbalanced heading tokenization"

Browse source
This commit is contained in:
Gabriel Wicke 2012-06-28 13:57:29 +00:00 committed by Gerrit Code Review
parent f995fc025a 17af335748
commit 4dcd88fc5f
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -534,6 +534,7 @@ h = & "=" // guard, to make sure '='+ will match.
var level = Math.min(s.length, e.length);
// convert surplus equals into text
if(s.length > level) {
s = s.join('');
var extras = s.substr(0, s.length - level);
if(c[0].constructor === String) {
c[0] = extras + c[0];
@ -542,6 +543,7 @@ h = & "=" // guard, to make sure '='+ will match.
}
}
if(e.length > level) {
e = e.join('');
var extras = e.substr(0, e.length - level),
lastElem = c[c.length - 1];
if(lastElem.constructor === String) {