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

fix matching hr ---- (v 3.1.13)

Browse source 
Change-Id: I7ea6fa891d2c53da4ac9bd62319dad702a11b8d7
This commit is contained in:
Pavel Astakhov 2015-08-14 12:03:41 +06:00
parent e681dc6ce2
commit 491f186e14
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -1,6 +1,6 @@
{
"name": "CodeMirror",
"version": "3.1.12",
"version": "3.1.13",
"author": [
"[https://www.mediawiki.org/wiki/User:Pastakhov Pavel Astakhov]",
"[https://www.mediawiki.org/wiki/User:Florianschmidtwelzow Florian Schmidt]"

2
resources/mode/mediawiki/mediawiki.js
View file

@ -634,7 +634,7 @@ CodeMirror.defineMode( 'mediawiki', function( config/*, parserConfig */ ) {
ch = stream.next();
switch ( ch ) {
case '-':
if ( stream.match( '---' ) ) {
if ( stream.match( /----*/ ) ) {
return 'mw-hr';
}
break;