Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 4f8b9527ee3b58b326c09144a016d92249780a9a https://github.com/phpmyadmin/phpmyadmin/commit/4f8b9527ee3b58b326c09144a016... Author: mokraemer <github@mokraemer.de> Date: 2018-11-09 (Fri, 11 November 2018) -02:00 Changed paths: M js/navigation.js Log Message: ----------- Fix left menu not showing on Opera 12.16 (#14619) Left database tree is not shown if size computes to 0 or less. This will ensure to have a min height. Fixes #14591 Signed-off-by: Marc Krämer <github@mokraemer.de>