phpmyadmin/phpmyadmin — pull request #440 by lem9 (2013-06-21 14:11:47+00:00)
Title: Bug #3960 NavigationBarIconic config not honored

See discussion in https://github.com/phpmyadmin/phpmyadmin/pull/434