diff options
| author | 2017-12-16 15:24:13 +0100 | |
|---|---|---|
| committer | 2017-12-16 15:24:13 +0100 | |
| commit | fdc9e0d75a786101a14f64bc418b48fdd1cb4890 (patch) | |
| tree | 9a7a1d523ab1279e2efce84d2d0c73dd0ad47c70 /cli/list-users.php | |
| parent | f7560c585f211be41b093906e3a8fb5a6071c660 (diff) | |
| parent | ccb829418d25af49d129ac227b0cbd09c085b8a3 (diff) | |
Merge branch 'dev' into hebrew-i18n
Diffstat (limited to 'cli/list-users.php')
| -rwxr-xr-x | cli/list-users.php | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/cli/list-users.php b/cli/list-users.php new file mode 100755 index 000000000..758bbdb46 --- /dev/null +++ b/cli/list-users.php @@ -0,0 +1,15 @@ +#!/usr/bin/php +<?php +require(__DIR__ . '/_cli.php'); + +$users = listUsers(); +sort($users); +if (FreshRSS_Context::$system_conf->default_user !== '' + && in_array(FreshRSS_Context::$system_conf->default_user, $users, true)) { + array_unshift($users, FreshRSS_Context::$system_conf->default_user); + $users = array_unique($users); +} + +foreach ($users as $user) { + echo $user, "\n"; +} |
