[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0ee16f: Fix grouping of tables in navigation tree: