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

Added tokenizer support for ----

Browse source 
Change-Id: Idc5519350d11ae91b2ec64553f847d56e22d63bb
This commit is contained in:
Subramanya Sastry 2012-06-25 16:40:34 -05:00
parent d5e6ec34aa
commit 1a504a5f54
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -443,6 +443,7 @@ block_line
} }
/ ! { return stops.counters.nopre } pre_indent / ! { return stops.counters.nopre } pre_indent
/ pre / pre
/ "----" { return new SelfclosingTagTk( "hr", [], {tsr: [pos0, pos]} ); }
/* /*
* A paragraph. We don't emit 'p' tokens to avoid issues with template * A paragraph. We don't emit 'p' tokens to avoid issues with template