| Index: trunk/phase3/maintenance/updaters.inc |
| — | — | @@ -859,10 +859,14 @@ |
| 860 | 860 | } |
| 861 | 861 | |
| 862 | 862 | function do_postgres_updates() { |
| 863 | | - global $wgDatabase, $wgVersion; |
| | 863 | + global $wgDatabase, $wgVersion, $wgDBmwschema; |
| 864 | 864 | |
| 865 | 865 | $version = "1.7.1"; |
| 866 | 866 | |
| | 867 | + # Just in case their LocalSetings.php does not have this: |
| | 868 | + if ( !isset( $wgDBmwschema )) |
| | 869 | + $wgDBmwschema = 'mediawiki'; |
| | 870 | + |
| 867 | 871 | if ($wgDatabase->tableExists("mediawiki_version")) { |
| 868 | 872 | $version = "1.8"; |
| 869 | 873 | } |
| — | — | @@ -961,7 +965,7 @@ |
| 962 | 966 | } ## end version 1.7.1 upgrade |
| 963 | 967 | |
| 964 | 968 | else { |
| 965 | | - print "No updates needed"; |
| | 969 | + print "No updates needed\n"; |
| 966 | 970 | } |
| 967 | 971 | |
| 968 | 972 | return; |