| Index: trunk/phase3/maintenance/Maintenance.php |
| — | — | @@ -11,11 +11,10 @@ |
| 12 | 12 | |
| 13 | 13 | // Make sure we're on PHP5 or better |
| 14 | 14 | if ( version_compare( PHP_VERSION, '5.0.0' ) < 0 ) { |
| 15 | | - echo( "Sorry! This version of MediaWiki requires PHP 5; you are running " . |
| | 15 | + die ( "Sorry! This version of MediaWiki requires PHP 5; you are running " . |
| 16 | 16 | PHP_VERSION . ".\n\n" . |
| 17 | 17 | "If you are sure you already have PHP 5 installed, it may be installed\n" . |
| 18 | 18 | "in a different path from PHP 4. Check with your system administrator.\n" ); |
| 19 | | - die(); |
| 20 | 19 | } |
| 21 | 20 | |
| 22 | 21 | /** |