| Index: trunk/phase3/config/Installer.php |
| — | — | @@ -419,6 +419,12 @@ |
| 420 | 420 | <?php |
| 421 | 421 | } |
| 422 | 422 | |
| | 423 | +if( phpversion() === '5.3.1' ) { |
| | 424 | + $fatal = true; |
| | 425 | + ?><li class="error"><strong>Fatal: PHP 5.3.1 is not compatible with MediaWiki!</strong> |
| | 426 | + PHP 5.3.1 is not compatible with MediaWiki due to a <a href="http://news.php.net/php.internals/46389">bug in PHP</a>. Please use PHP 5.3.0, or PHP 5.3.2 or later.</li> |
| | 427 | + <?php |
| | 428 | +} |
| 423 | 429 | |
| 424 | 430 | if( $fatal ) { |
| 425 | 431 | dieout( "Cannot install MediaWiki." ); |