diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index de2baa687e..1f19b154d7 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -3141,7 +3141,8 @@ function PMA_getHtmlForDisplayUserOverviewPage($link_edit, $pmaThemeImage, */ function PMA_getHtmlForListingUsersofAGroup($userGroup) { - $html_output = '