require_once('commandLine.inc');
require_once('languages.inc');
-if( isset($options['help']) ) { usage(); die(); }
+if( isset($options['help']) ) { usage(); wfDie(); }
// default output is WikiText
if( !isset($options['output']) ) { $options['output']='wiki'; }
--help : this helpful message
--output : select an output engine one of:
* 'csv' : Comma Separated Values.
- * 'wiki' : MediaWiki syntax.
+ * 'wiki' : MediaWiki syntax (default).
* 'text' : Text with tabs.
- Default output is 'wiki'
+
END;
}
function redundant(&$arr) {
global $wgAllMessagesEn;
-
+
$redundant = 0;
foreach(array_keys($arr) as $key) {
if ( @$wgAllMessagesEn[$key] === null )
case 'wiki':
$out = new wikiStatsOutput(); break;
default:
- usage(); die();
+ usage(); wfDie();
break;
}