diff options
author | Madhura Jayaratne <madhura.cj@gmail.com> | 2015-10-30 13:26:38 +0300 |
---|---|---|
committer | Madhura Jayaratne <madhura.cj@gmail.com> | 2015-10-30 13:26:38 +0300 |
commit | 7f3fcfd1ca7a02c3800aa896f79f5e5e1d68086f (patch) | |
tree | 172c0a3748d0f157e46e350a1c1083af9987187b /server_privileges.php | |
parent | d7611d65e8b6d80b604e3a9ec3baafa3b84c87a7 (diff) |
Fix #11622 Reloading privileges is not allowed
Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>
Diffstat (limited to 'server_privileges.php')
-rw-r--r-- | server_privileges.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server_privileges.php b/server_privileges.php index b66c2a329c..c095f42a91 100644 --- a/server_privileges.php +++ b/server_privileges.php @@ -16,6 +16,7 @@ require_once 'libraries/common.inc.php'; */ require_once 'libraries/display_change_password.lib.php'; require_once 'libraries/server_privileges.lib.php'; +require_once 'libraries/check_user_privileges.lib.php'; $cfgRelation = PMA_getRelationsParam(); |