diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2012-11-30 05:40:20 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2012-11-30 05:40:20 +0100 |
| commit | 8a1f9ada65d746b630c96b184000f3f0bf6cf34d (patch) | |
| tree | f641d0e874d1ac6a04c30e2e8a112fb1c4ceb6bd /includes/parser/Parser.php | |
| parent | 9498a3d2852ace0f4ee23598f542dbce3fd2ec28 (diff) | |
Update to MediaWiki 1.19.3
Diffstat (limited to 'includes/parser/Parser.php')
| -rw-r--r-- | includes/parser/Parser.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/parser/Parser.php b/includes/parser/Parser.php index 2abf1b93..d4f167c9 100644 --- a/includes/parser/Parser.php +++ b/includes/parser/Parser.php @@ -1481,6 +1481,9 @@ class Parser { wfProfileIn( __METHOD__ ); $bits = preg_split( $this->mExtLinkBracketedRegex, $text, -1, PREG_SPLIT_DELIM_CAPTURE ); + if ( $bits === false ) { + throw new MWException( "PCRE needs to be compiled with --enable-unicode-properties in order for MediaWiki to function" ); + } $s = array_shift( $bits ); $i = 0; |