From 87f11f5adb1e83a8edf66e64cbb644a6c86fa905 Mon Sep 17 00:00:00 2001
From: Deven Bansod <devenbansod.bits@gmail.com>
Date: Mon, 24 Oct 2016 14:31:04 +0530
Subject: [PATCH 1/2] Add missing token parameter while changing servers

Fix #12656

Signed-off-by: Deven Bansod <devenbansod.bits@gmail.com>
---
 libraries/select_server.lib.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libraries/select_server.lib.php b/libraries/select_server.lib.php
index d936349e15..ec69b91d91 100644
--- a/libraries/select_server.lib.php
+++ b/libraries/select_server.lib.php
@@ -38,6 +38,8 @@ function PMA_selectServer($not_only_options, $omit_fieldset)
         if (! $omit_fieldset) {
             $retval .= '<fieldset>';
         }
+
+        $retval .= '<input type="hidden" name="token" value="' . $_SESSION[" PMA_token "] . '" >';
         $retval .= '<label for="select_server">'
             . __('Current server:') . '</label> ';
 

From e7a82cfaaabd18227a955e8fc2245ac505bff89f Mon Sep 17 00:00:00 2001
From: Deven Bansod <devenbansod.bits@gmail.com>
Date: Mon, 24 Oct 2016 14:32:24 +0530
Subject: [PATCH 2/2] ChangeLog for #12656

Signed-off-by: Deven Bansod <devenbansod.bits@gmail.com>
---
 ChangeLog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ChangeLog b/ChangeLog
index c7295441b8..276e9e5a74 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -29,6 +29,7 @@ phpMyAdmin - ChangeLog
 - issue #12494 Can't add a new User
 - issue #12523 Add 'token' Parameter in all POST requests (Fix 'Token mismatch' errors)
 - issue #12302 Improved usage of number_format
+- issue #12656 Server selection not working
 
 4.6.5 (not yet released)
 - issue        Remove potentionally license problematic sRGB profile