From f15c9ecafc6cfcc2b2f9fdcfd9d262369ae59610 Mon Sep 17 00:00:00 2001
From: Greg Sabino Mullane <greg@users.mediawiki.org>
Date: Sun, 17 Feb 2008 14:07:28 +0000
Subject: [PATCH] Get Postgres version for future use.

---
 maintenance/updaters.inc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/maintenance/updaters.inc b/maintenance/updaters.inc
index 7687d8b15f..41a2b0ae4b 100644
--- a/maintenance/updaters.inc
+++ b/maintenance/updaters.inc
@@ -1261,6 +1261,10 @@ END;
 function do_postgres_updates() {
 	global $wgDatabase, $wgVersion, $wgDBmwschema, $wgDBts2schema, $wgShowExceptionDetails, $wgDBuser;
 
+	## Gather version numbers in case we need them
+	$version = $wgDatabase->getServerVersion(); ## long string
+	$numver = $wgDatabase->numeric_version; ## X.Y e.g. 8.3
+
 	$wgShowExceptionDetails = 1;
 
 	# Just in case their LocalSettings.php does not have this:
-- 
2.20.1