diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index c95985d369..f764a13b12 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -3367,7 +3367,7 @@ function PMA_getHtmlToEditUserGroup($userGroup = null) . ''; if ($userGroup == null) { - $html_output .= ''; + $html_output .= ''; $html_output .= ''; $html_output .= '
'; }