Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: aa22e68d319c68f7b1f4e498f8b74f243196a4af https://github.com/phpmyadmin/phpmyadmin/commit/aa22e68d319c68f7b1f4e498f8b7... Author: Marc Delisle <marc@infomarc.info> Date: 2013-01-17 (Thu, 17 Jan 2013) Changed paths: M libraries/navigation/NavigationHeader.class.php Log Message: ----------- Do not display the server selector in the navigation panel if there is just one server choice (same logic as in the login panels).