From 7f3fcfd1ca7a02c3800aa896f79f5e5e1d68086f Mon Sep 17 00:00:00 2001
From: Madhura Jayaratne <madhura.cj@gmail.com>
Date: Fri, 30 Oct 2015 21:26:38 +1100
Subject: [PATCH] Fix #11622 Reloading privileges is not allowed

Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>
---
 server_privileges.php | 1 +
 1 file changed, 1 insertion(+)

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();