From 57080f377903872dcd5faa86e858304a5d9fe1da Mon Sep 17 00:00:00 2001
From: Max Semenik <maxsem@users.mediawiki.org>
Date: Wed, 30 Mar 2011 18:45:13 +0000
Subject: [PATCH] Fixed fatal in r84971

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

diff --git a/maintenance/install.php b/maintenance/install.php
index caaf285066..87a2494cee 100644
--- a/maintenance/install.php
+++ b/maintenance/install.php
@@ -70,7 +70,7 @@ class CommandLineInstaller extends Maintenance {
 			$installer->showStatusMessage( $status );
 			return;
 		}
-		if( !$this->getVar( 'env-checks' ) ) {
+		if( !$this->hasOption( 'env-checks' ) ) {
 			$installer->execute();
 			$installer->writeConfigurationFile( $this->getOption( 'confpath', $IP ) );
 		}
-- 
2.20.1