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 "fix args for messages mergehistory-no-source/-destination"
[lhc/web/wiklou.git]
/
maintenance
/
update.php
diff --git
a/maintenance/update.php
b/maintenance/update.php
old mode 100644
(file)
new mode 100755
(executable)
index
f96ee39
..
046d73c
--- a/
maintenance/update.php
+++ b/
maintenance/update.php
@@
-1,3
+1,4
@@
+#!/usr/bin/env php
<?php
/**
* Run all updaters.
<?php
/**
* Run all updaters.
@@
-25,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' );
}