list($options, $unrecognized) = cli_get_params(array('help'=>false),
array('h'=>'help'));
-$interactive = empty($options['non-interactive']);
-
if ($unrecognized) {
$unrecognized = implode("\n ", $unrecognized);
cli_error(get_string('cliunknowoption', 'admin', $unrecognized));
$string['cliincorrectvalueretry'] = 'Incorrect value, please retry';
$string['clitypevalue'] = 'type value';
$string['clitypevaluedefault'] = 'type value, press Enter to use default value ($a)';
+$string['cliupgradefinished'] = 'Command line upgrade completed successfully.';
$string['cliyesnoprompt'] = 'type y (means yes) or n (means no)';
$string['cliunknowoption'] = "Unrecognized options:\n \$a\n. Please use --help option.";
$string['commonfiltersettings'] = 'Common filter settings';