From 27226cf7cf9284eaaf37df2bd19cb4fd54e56dba Mon Sep 17 00:00:00 2001 From: Angel Fernando Quiroz Campos Date: Tue, 8 Jun 2021 16:05:45 -0500 Subject: [PATCH] Minor - Flint fixes --- main/inc/lib/userportal.lib.php | 1 - 1 file changed, 1 deletion(-) diff --git a/main/inc/lib/userportal.lib.php b/main/inc/lib/userportal.lib.php index 8196fd9d5c..2c101af7c8 100755 --- a/main/inc/lib/userportal.lib.php +++ b/main/inc/lib/userportal.lib.php @@ -1007,7 +1007,6 @@ class IndexManager // Tabs that are deactivated are added here. if (!empty($this->tpl->menu_navigation)) { foreach ($this->tpl->menu_navigation as $section => $navigation_info) { - if (!empty($navigation_info)) { $items[] = [ 'icon' => null,