diff options
| author | Igor Scheller <igor.scheller@igorshp.de> | 2018-08-20 20:58:51 +0200 |
|---|---|---|
| committer | Igor Scheller <igor.scheller@igorshp.de> | 2018-08-20 21:07:57 +0200 |
| commit | d6c8f1a61475fefa9594141aaf12a28d220bdaf8 (patch) | |
| tree | 905051fdb1307f947c3a3a7be240609f8bc00e59 /includes/pages/admin_user.php | |
| parent | bf6efe532c8f2de84e95b090911280a9b1b61ce8 (diff) | |
| parent | 2f41b9e4418def9b69cf237312bc592364585025 (diff) | |
Merge branch 'master' to 'rebuild-database'
Diffstat (limited to 'includes/pages/admin_user.php')
| -rw-r--r-- | includes/pages/admin_user.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/pages/admin_user.php b/includes/pages/admin_user.php index 8da09e81..514e4b1b 100644 --- a/includes/pages/admin_user.php +++ b/includes/pages/admin_user.php @@ -34,7 +34,7 @@ function admin_user() $user_id = $request->input('id'); if (!$request->has('action')) { $user_source = User($user_id); - if ($user_source == null) { + if (empty($user_source)) { error(_('This user does not exist.')); redirect(users_link()); } |