. /** * CLI script to kill user sessions. * * @package core * @subpackage cli * @copyright 2017 Alexander Bias * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later */ define('CLI_SCRIPT', true); require(__DIR__.'/../../config.php'); require_once($CFG->libdir.'/clilib.php'); [$options, $unrecognized] = cli_get_params([ 'help' => false, 'run' => false, 'for-users' => false, ], [ 'h' => 'help', ]); if ($unrecognized) { $unrecognized = implode("\n ", $unrecognized); cli_error(get_string('cliunknowoption', 'admin', $unrecognized), 2); } if ($options['help'] || !empty($options['for-users']) && !is_string($options['for-users'])) { $help = <<