| Index: trunk/phase3/maintenance/update.php |
| — | — | @@ -24,7 +24,7 @@ |
| 25 | 25 | } |
| 26 | 26 | |
| 27 | 27 | public function getDbType() { |
| 28 | | - return self::DB_ADMIN; |
| | 28 | + return Maintenance::DB_ADMIN; |
| 29 | 29 | } |
| 30 | 30 | |
| 31 | 31 | public function execute() { |
| — | — | @@ -34,7 +34,7 @@ |
| 35 | 35 | |
| 36 | 36 | $this->output( "MediaWiki {$wgVersion} Updater\n\n" ); |
| 37 | 37 | |
| 38 | | - if ( !isset( $options['skip-compat-checks'] ) ) { |
| | 38 | + if ( !isset( $this->mOptions['skip-compat-checks'] ) ) { |
| 39 | 39 | install_version_checks(); |
| 40 | 40 | } else { |
| 41 | 41 | $this->output( "Skipping compatibility checks, proceed at your own risk (Ctrl+C to abort)\n" ); |