Remove hack for navigation and server switching

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>
This commit is contained in:
Michal Čihař 2017-11-27 17:02:27 +01:00
parent 0f79721570
commit 73f428e568

View File

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