| Index: trunk/phase3/maintenance/updaters.inc |
| — | — | @@ -1210,8 +1210,8 @@ |
| 1211 | 1211 | function do_postgres_updates() { |
| 1212 | 1212 | global $wgDatabase, $wgDBmwschema, $wgDBts2schema, $wgDBuser; |
| 1213 | 1213 | |
| 1214 | | - # # Gather version numbers in case we need them |
| 1215 | | - $numver = $wgDatabase->numeric_version; # # X.Y e.g. 8.3 |
| | 1214 | + # Gather version numbers in case we need them |
| | 1215 | + $numver = $wgDatabase->getServerVersion(); |
| 1216 | 1216 | |
| 1217 | 1217 | # Just in case their LocalSettings.php does not have this: |
| 1218 | 1218 | if ( !isset( $wgDBmwschema ) ) { |