diff --git a/includes/db/DatabasePostgres.php b/includes/db/DatabasePostgres.php
index deb16835700..8b119e5ceb2 100644
--- 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 "
Checking the version of Postgres...";
- $version = $this->numeric_version = $this->getServerVersion();
+ $version = $this->getServerVersion();
$PGMINVER = '8.1';
if ($version < $PGMINVER) {
print "FAILED. Required version is $PGMINVER. You have $version\n";
@@ -1056,7 +1056,8 @@ class DatabasePostgres extends Database {
*/
function getServerVersion() {
$versionInfo = pg_version( $this->mConn );
- return $versionInfo['server'];
+ $this->numeric_version = $versionInfo['server'];
+ return $this->numeric_version;
}
/**