Set numeric_version

diff --git a/includes/db/DatabasePostgres.php b/includes/db/DatabasePostgres.php
index eb15747..deb1683 100644 (file)
--- a/includes/db/DatabasePostgres.php
+++ b/includes/db/DatabasePostgres.php
@@ -205,7 +205,7 @@ class DatabasePostgres extends Database {
                global $wgDBname, $wgDBuser, $wgDBpassword, $wgDBsuperuser, $wgDBmwschema, $wgDBts2schema;
 
                print "<li>Checking the version of Postgres...";
-               $version = $this->getServerVersion();
+               $version = $this->numeric_version = $this->getServerVersion();
                $PGMINVER = '8.1';
                if ($version < $PGMINVER) {
                        print "<b>FAILED</b>. Required version is $PGMINVER. You have $version</li>\n";