| Index: trunk/phase3/maintenance/updaters.inc |
| — | — | @@ -43,23 +43,6 @@ |
| 44 | 44 | return (bool)$row; |
| 45 | 45 | } |
| 46 | 46 | |
| 47 | | -function rename_table( $from, $to, $patch ) { |
| 48 | | - global $wgDatabase; |
| 49 | | - if ( $wgDatabase->tableExists( $from ) ) { |
| 50 | | - if ( $wgDatabase->tableExists( $to ) ) { |
| 51 | | - wfOut( "...can't move table $from to $to, $to already exists.\n" ); |
| 52 | | - } else { |
| 53 | | - wfOut( "Moving table $from to $to..." ); |
| 54 | | - $wgDatabase->sourceFile( archive( $patch ) ); |
| 55 | | - wfOut( "ok\n" ); |
| 56 | | - } |
| 57 | | - } else { |
| 58 | | - // Source table does not exist |
| 59 | | - // Renames are done before creations, so this is typical for a new installation |
| 60 | | - // Ignore silently |
| 61 | | - } |
| 62 | | -} |
| 63 | | - |
| 64 | 47 | function add_table( $name, $patch, $fullpath = false ) { |
| 65 | 48 | global $wgDatabase; |
| 66 | 49 | if ( $wgDatabase->tableExists( $name ) ) { |
| — | — | @@ -1316,8 +1299,6 @@ |
| 1317 | 1300 | $version = $wgDatabase->getServerVersion(); # # long string |
| 1318 | 1301 | $numver = $wgDatabase->numeric_version; # # X.Y e.g. 8.3 |
| 1319 | 1302 | |
| 1320 | | - $wgShowExceptionDetails = 1; |
| 1321 | | - |
| 1322 | 1303 | # Just in case their LocalSettings.php does not have this: |
| 1323 | 1304 | if ( !isset( $wgDBmwschema ) ) { |
| 1324 | 1305 | $wgDBmwschema = 'mediawiki'; |