dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8bac3e1
)
Replace echo + die with die()
author
Platonides
<platonides@users.mediawiki.org>
Sun, 1 Aug 2010 18:05:50 +0000
(18:05 +0000)
committer
Platonides
<platonides@users.mediawiki.org>
Sun, 1 Aug 2010 18:05:50 +0000
(18:05 +0000)
maintenance/Maintenance.php
patch
|
blob
|
history
diff --git
a/maintenance/Maintenance.php
b/maintenance/Maintenance.php
index
d57bfc8
..
4fcbc44
100644
(file)
--- a/
maintenance/Maintenance.php
+++ b/
maintenance/Maintenance.php
@@
-11,11
+11,10
@@
$maintClass = false;
// Make sure we're on PHP5 or better
if ( version_compare( PHP_VERSION, '5.0.0' ) < 0 ) {
-
echo
( "Sorry! This version of MediaWiki requires PHP 5; you are running " .
+
die
( "Sorry! This version of MediaWiki requires PHP 5; you are running " .
PHP_VERSION . ".\n\n" .
"If you are sure you already have PHP 5 installed, it may be installed\n" .
"in a different path from PHP 4. Check with your system administrator.\n" );
- die();
}
/**