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

Merge "Add basic tsr on indent-pre end tag"

Browse source
This commit is contained in:
Gabriel Wicke 2012-06-27 17:11:38 +00:00 committed by Gerrit Code Review
parent 1067f84764 df26663a3f
commit 4e86337a43
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1117,7 +1117,7 @@ pre_indent
/ l:pre_indent_line ls:(sol pre_indent_line)* {
return [new TagTk( 'pre', [], { tsr: [pos0, pos0 + 1] } )]
.concat( [l], ls
, [new EndTagTk( 'pre' )]);
, [new EndTagTk( 'pre', [], {tsr: [pos, pos]} )]);
}
// An indented pre block that is surrounded with pre tags. The pre tags are