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..53a84d6465 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 .= ''
@@ -3367,7 +3367,7 @@ function PMA_getHtmlToEditUserGroup($userGroup = null)
. '';
if ($userGroup == null) {
- $html_output .= '';
+ $html_output .= '';
$html_output .= '';
$html_output .= '';
}
@@ -3399,7 +3399,7 @@ function PMA_getHtmlToEditUserGroup($userGroup = null)
}
$html_output .= _getTabList(
- __('Sever level tabs'), 'server', $allowedTabs['server']
+ __('Server level tabs'), 'server', $allowedTabs['server']
);
$html_output .= _getTabList(
__('Database level tabs'), 'db', $allowedTabs['db']