Follow up r71289. getServerVersion() call was needed to initialise numeric_version.

In fact, we can use getServerVersion() here.

diff --git a/maintenance/updaters.inc b/maintenance/updaters.inc
index ca18457..55bdd77 100644 (file)
--- a/maintenance/updaters.inc
+++ b/maintenance/updaters.inc
@@ -1210,8 +1210,8 @@ END;
 function do_postgres_updates() {
        global $wgDatabase, $wgDBmwschema, $wgDBts2schema, $wgDBuser;
 
-       # # Gather version numbers in case we need them
-       $numver = $wgDatabase->numeric_version; # # X.Y e.g. 8.3
+       # Gather version numbers in case we need them
+       $numver = $wgDatabase->getServerVersion();
 
        # Just in case their LocalSettings.php does not have this:
        if ( !isset( $wgDBmwschema ) ) {