From 7932db7e38a6f77abe70498d0813f22badfeb01b Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 11 Sep 2010 21:56:11 +0000
Subject: [PATCH] Follow-up r72829: we also have the hasOption() method for
 that

---
 maintenance/update.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/update.php b/maintenance/update.php
index 103b94b51f..9dd3e970db 100644
--- 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" );
-- 
2.20.1