Add check that database is version 8.0 or higher.

diff --git a/config/index.php b/config/index.php
index 867fb75..9fa00ff 100644 (file)
--- a/config/index.php
+++ b/config/index.php
@@ -730,7 +730,7 @@ error_reporting( E_ALL );
                print "<li>Connected to $myver";
                if ($conf->DBtype == 'mysql') {
                        if( version_compare( $myver, "4.0.14" ) < 0 ) {
-                               die( " -- mysql 4.0.14 or later required. Aborting." );
+                               dieout( " -- mysql 4.0.14 or later required. Aborting." );
                        }
                        $mysqlNewAuth   = version_compare( $myver, "4.1.0", "ge" );
                        if( $mysqlNewAuth && $mysqlOldClient ) {
@@ -771,6 +771,11 @@ error_reporting( E_ALL );
                        }
                        $wgDatabase->selectDB( $wgDBname );
                }
+               else if ($conf->DBtype == 'postgres') {
+                       if( version_compare( $myver, "PostgreSQL 8.0" ) < 0 ) {
+                               dieout( " <b>Postgres 8.0 or later is required</b>. Aborting.</li></ul>" );
+                       }
+               }
 
                if( $wgDatabase->tableExists( "cur" ) || $wgDatabase->tableExists( "revision" ) ) {
                        print "<li>There are already MediaWiki tables in this database. Checking if updates are needed...</li>\n";