From 73f428e568e1646fe2436bef8f2be6bb40744fcb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Mon, 27 Nov 2017 17:02:27 +0100
Subject: [PATCH] Remove hack for navigation and server switching
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

It is not really used with current navigation, so this code has no use
for years.

Issue #11731

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 libraries/common.inc.php | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index f56d2d6de1..faf47d38b7 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -418,16 +418,6 @@ if (! defined('PMA_MINIMUM_COMMON')) {
 
         // TODO: Set SQL modes too.
 
-        /**
-         * some resetting has to be done when switching servers
-         */
-        if (isset($_SESSION['tmpval']['previous_server'])
-            && $_SESSION['tmpval']['previous_server'] != $GLOBALS['server']
-        ) {
-            unset($_SESSION['tmpval']['navi_limit_offset']);
-        }
-        $_SESSION['tmpval']['previous_server'] = $GLOBALS['server'];
-
     } else { // end server connecting
         $response = Response::getInstance();
         $response->getHeader()->disableMenuAndConsole();