From 68ab55bf98020a5ce241dad77828e07a358cecb1 Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Mon, 14 Nov 2022 14:43:38 +0100 Subject: [PATCH] system: empty() is enough in these checks --- src/etc/inc/auth.inc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/etc/inc/auth.inc b/src/etc/inc/auth.inc index dcfa73273..0e3894478 100644 --- a/src/etc/inc/auth.inc +++ b/src/etc/inc/auth.inc @@ -93,9 +93,9 @@ function index_users() { global $config; - $userindex = array(); + $userindex = []; - if (!empty($config['system']['user']) && is_array($config['system']['user'])) { + if (!empty($config['system']['user'])) { $i = 0; foreach ($config['system']['user'] as $userent) { $userindex[$userent['name']] = $i;