[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 9daaa1: Fix bug #4069 Navigation tree height not set corre...