diff --git a/build.xml b/build.xml index 1d84087bfd..27794c4c26 100644 --- a/build.xml +++ b/build.xml @@ -44,7 +44,7 @@ diff --git a/libraries/server_privileges.lib.php b/libraries/server_privileges.lib.php index 543c121b21..c95985d369 100644 --- a/libraries/server_privileges.lib.php +++ b/libraries/server_privileges.lib.php @@ -3195,7 +3195,7 @@ function PMA_getHtmlForListingUsersofAGroup($userGroup) if ($result) { if ($GLOBALS['dbi']->numRows($result) == 0) { $html_output .= '

' - . __('No users were found belonging to this user group') + . __('No users were found belonging to this user group.') . '

'; } else { $html_output .= ''