sasanrose/phpredmin — pull request #21 by eugef (2014-01-02 14:46:05+00:00)
Title: Display selected server on top in navigation

If there are many servers in navigation column (more than 10 in my case) - then current server can be displayed in the same bottom of the page. In this case it is not handy to navigate through its databases because every time you should scroll to the page bottom.

This fix displays selected server on the top in navigation.