From 100670d771342eae5965ac3106505f3b412468ec Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Fri, 13 Apr 2007 13:06:25 +0000
Subject: [PATCH] Renamed --mylang to --lang, proposed by nick.

---
 maintenance/language/checkExtensioni18n.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/maintenance/language/checkExtensioni18n.php b/maintenance/language/checkExtensioni18n.php
index 34f0f1bd8a..8ae0d449fe 100644
--- a/maintenance/language/checkExtensioni18n.php
+++ b/maintenance/language/checkExtensioni18n.php
@@ -40,7 +40,7 @@ define( 'EXT_I18N_DB', 'i18n.db' );
 $wgDisplayLevel = 2;
 $wgChecks = array( 'untranslated', 'obsolete', 'variables', 'empty', 'whitespace', 'xhtml', 'chars' );
 
-$optionsWithArgs = array( 'extdir', 'mylang' );
+$optionsWithArgs = array( 'extdir', 'lang' );
 
 require_once( dirname(__FILE__).'/../commandLine.inc' );
 require_once( 'languages.inc' );
@@ -213,7 +213,7 @@ Usage:
     php checkExtensioni18n.php --extdir <extension repository>
 
 Common option:
-    --mylang <language code> : only check the given language.
+    --lang <language code> : only check the given language.
 
 
 END;
@@ -221,7 +221,7 @@ die;
 }
 
 // Play with options and arguments
-$myLang = isset($options['mylang']) ? $options['mylang'] : null;
+$myLang = isset($options['lang']) ? $options['lang'] : null;
 
 if( isset( $options['extdir'] ) ) {
 	$extdb = $options['extdir'] . '/' . EXT_I18N_DB ;
-- 
2.20.1