From 40dd8ce63f895327dc87ca8cbcb5f63bb7059bba Mon Sep 17 00:00:00 2001
From: Greg Sabino Mullane <greg@users.mediawiki.org>
Date: Sat, 22 Nov 2008 06:40:46 +0000
Subject: [PATCH] Set numeric_version

---
 includes/db/DatabasePostgres.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/db/DatabasePostgres.php b/includes/db/DatabasePostgres.php
index eb15747dcb..deb1683570 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 "<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";
-- 
2.20.1