mylang default to 'null'

diff --git a/maintenance/language/checkExtensioni18n.php b/maintenance/language/checkExtensioni18n.php
index 9f57498..34f0f1b 100644 (file)
--- a/maintenance/language/checkExtensioni18n.php
+++ b/maintenance/language/checkExtensioni18n.php
@@ -221,7 +221,7 @@ die;
 }
 
 // Play with options and arguments
-$myLang = $options['mylang'];
+$myLang = isset($options['mylang']) ? $options['mylang'] : null;
 
 if( isset( $options['extdir'] ) ) {
        $extdb = $options['extdir'] . '/' . EXT_I18N_DB ;