phpmyadmin/phpmyadmin — pull request #207 by lem9 (2013-03-09 12:54:26+00:00)
Title: Bug 3820 only db

This is to support the only_db feature in the new navigation panel (also removing a probably not popular sub-feature: ordering of db names in the only_db directive).