diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index 41087bc5ce..84ecf59d92 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -2662,15 +2662,17 @@ function PMA_getTableBodyForUserRightsTable($db_rights, $link_edit, $link_export '' ) . ''; - if (empty($host['User'])) { - $html_output .= '