diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index fcf7eea216..e46de582e4 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -3422,7 +3422,6 @@ function PMA_getHtmlTableBodyForUserRights($db_rights) $html_output .= '