diff options
author | Michal Čihař <michal@cihar.com> | 2016-07-29 11:44:58 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2016-07-29 11:44:58 +0300 |
commit | 489970f218cdaf6ed81ad3843f5228f5dcf5ed97 (patch) | |
tree | c9154060a49a8f3276a18c6d6e97883f6f2f33cb /server_privileges.php | |
parent | c63b11d2bb0ec56671c3c12601f635ff8cb59871 (diff) |
Fixed deleting users in non English locales
Fixes #12413
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server_privileges.php b/server_privileges.php index c095f42a91..34dd8933b8 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -301,7 +301,7 @@ if ($GLOBALS['is_ajax_request'] && (! isset($_REQUEST['submit_mult']) || $_REQUEST['submit_mult'] != 'export') && ((! isset($_REQUEST['initial']) || $_REQUEST['initial'] === null || $_REQUEST['initial'] === '') - || (isset($_REQUEST['delete']) && $_REQUEST['delete'] === 'Go')) + || (isset($_REQUEST['delete']) && $_REQUEST['delete'] === __('Go'))) && ! isset($_REQUEST['showall']) && ! isset($_REQUEST['edit_user_group_dialog']) && ! isset($_REQUEST['db_specific']) |