diff options
| author | 2016-10-22 12:58:06 +0200 | |
|---|---|---|
| committer | 2016-10-22 12:58:06 +0200 | |
| commit | e1f214e9e2e09a83a9920e33fbf617dfe48fbb7e (patch) | |
| tree | 916b23c04ce53891e8d9e2af6ed413c7f7379491 /cli/list-users.php | |
| parent | 40b5d3f933e27f37894f58f99c63409f2cdd2d5a (diff) | |
CLI list-users and create-user
https://github.com/FreshRSS/FreshRSS/issues/1095
https://github.com/FreshRSS/FreshRSS/issues/1090
Diffstat (limited to 'cli/list-users.php')
| -rw-r--r-- | cli/list-users.php | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/cli/list-users.php b/cli/list-users.php new file mode 100644 index 000000000..cc1cf5269 --- /dev/null +++ b/cli/list-users.php @@ -0,0 +1,14 @@ +#!/usr/bin/php +<?php +require('_cli.php'); + +$users = listUsers(); +sort($users); +if ($system_conf->default_user !== '') { + array_unshift($users, $system_conf->default_user); + $users = array_unique($users); +} + +foreach ($users as $user) { + echo $user, "\n"; +} |
