diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index 5226f13cd5..d635632985 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -3664,7 +3664,7 @@ function PMA_getHtmlForUserGroupsTable() $html_output .= '