diff options
Diffstat (limited to 'maintenance')
| -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( |