sasanrose/phpredmin — pull request #35 by eugef (2014-02-06 12:00:19+00:00)
Title: hide "other servers" section if only one seerver is available

This fix was lost after last merge of styling imporvements