Follow-up r72829: we also have the hasOption() method for that

diff --git a/maintenance/update.php b/maintenance/update.php
index 103b94b..9dd3e97 100644 (file)
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -34,7 +34,7 @@ class UpdateMediaWiki extends Maintenance {
 
                $this->output( "MediaWiki {$wgVersion} Updater\n\n" );
 
-               if ( !isset( $this->mOptions['skip-compat-checks'] ) ) {
+               if ( !$this->hasOption( 'skip-compat-checks' ) ) {
                        install_version_checks();
                } else {
                        $this->output( "Skipping compatibility checks, proceed at your own risk (Ctrl+C to abort)\n" );