From 491f186e14abfb2052ad921a8b58f3b84568234c Mon Sep 17 00:00:00 2001 From: Pavel Astakhov Date: Fri, 14 Aug 2015 12:03:41 +0600 Subject: [PATCH] fix matching hr ---- (v 3.1.13) Change-Id: I7ea6fa891d2c53da4ac9bd62319dad702a11b8d7 --- extension.json | 2 +- resources/mode/mediawiki/mediawiki.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extension.json b/extension.json index 9720251d..a2fb5855 100644 --- a/extension.json +++ b/extension.json @@ -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]" diff --git a/resources/mode/mediawiki/mediawiki.js b/resources/mode/mediawiki/mediawiki.js index 66801686..e35759fe 100644 --- a/resources/mode/mediawiki/mediawiki.js +++ b/resources/mode/mediawiki/mediawiki.js @@ -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;