dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge "mediawiki.page.image.pagination: Cache last-loaded pages"
[lhc/web/wiklou.git]
/
maintenance
/
update.php
diff --git
a/maintenance/update.php
b/maintenance/update.php
index
a51564a
..
046d73c
100755
(executable)
--- a/
maintenance/update.php
+++ b/
maintenance/update.php
@@
-26,7
+26,7
@@
* @ingroup Maintenance
*/
* @ingroup Maintenance
*/
-if ( !function_exists( 'version_compare' ) || ( version_compare(
phpversion()
, '5.3.2' ) < 0 ) ) {
+if ( !function_exists( 'version_compare' ) || ( version_compare(
PHP_VERSION
, '5.3.2' ) < 0 ) ) {
require dirname( __FILE__ ) . '/../includes/PHPVersionError.php';
wfPHPVersionError( 'cli' );
}
require dirname( __FILE__ ) . '/../includes/PHPVersionError.php';
wfPHPVersionError( 'cli' );
}