diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index d7800469fe..2556aa06ce 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -3234,24 +3234,26 @@ function PMA_getHtmlForUserGroupsTable() $tabs = PMA_Util::getMenuTabList(); $html_output = '