http://www.mediawiki.org/wiki/Special:Code/MediaWiki/70281
Revision: 70281
Author: platonides
Date: 2010-08-01 18:05:50 +0000 (Sun, 01 Aug 2010)
Log Message:
-----------
Replace echo + die with die()
Modified Paths:
--------------
trunk/phase3/maintenance/Maintenance.php
Modified: trunk/phase3/maintenance/Maintenance.php
===================================================================
--- trunk/phase3/maintenance/Maintenance.php 2010-08-01 18:03:29 UTC (rev
70280)
+++ trunk/phase3/maintenance/Maintenance.php 2010-08-01 18:05:50 UTC (rev
70281)
@@ -11,11 +11,10 @@
// 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();
}
/**
_______________________________________________
MediaWiki-CVS mailing list
MediaWiki-CVS@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs
