diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-01-29 20:39:08 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-01-29 20:39:08 +0100 |
| commit | 1b65fa2a5f4c48b02ceda934e9c1aee2d03ce453 (patch) | |
| tree | e9bb7fa7d4aa7d815810ea807556e49c3a00adf7 /maintenance/update.php | |
| parent | 224b22a051051f6c2e494c3a2fb4adb42898e2d1 (diff) | |
Update to MediaWiki 1.22.2
Diffstat (limited to 'maintenance/update.php')
| -rw-r--r-- | maintenance/update.php | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/maintenance/update.php b/maintenance/update.php index 378217fd..19429716 100644 --- a/maintenance/update.php +++ b/maintenance/update.php @@ -57,6 +57,20 @@ class UpdateMediaWiki extends Maintenance { } function compatChecks() { + // Avoid syntax error in PHP4 + $minimumPcreVersion = constant( 'Installer::MINIMUM_PCRE_VERSION' ); + + list( $pcreVersion ) = explode( ' ', PCRE_VERSION, 2 ); + if ( version_compare( $pcreVersion, $minimumPcreVersion, '<' ) ) { + $this->error( + "PCRE $minimumPcreVersion or later is required.\n" . + "Your PHP binary is linked with PCRE $pcreVersion.\n\n" . + "More information:\n" . + "https://www.mediawiki.org/wiki/Manual:Errors_and_symptoms/PCRE\n\n" . + "ABORTING.\n", + true ); + } + $test = new PhpXmlBugTester(); if ( !$test->ok ) { $this->error( |