| Index: trunk/phase3/maintenance/update.php |
| — | — | @@ -34,7 +34,7 @@ |
| 35 | 35 | |
| 36 | 36 | $this->output( "MediaWiki {$wgVersion} Updater\n\n" ); |
| 37 | 37 | |
| 38 | | - if ( !isset( $this->mOptions['skip-compat-checks'] ) ) { |
| | 38 | + if ( !$this->hasOption( '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" ); |