[phpMyAdmin Git] [phpmyadmin/phpmyadmin] f1a0f9: Minor refactoring of NavigationTree (#17970)