[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7d7ab3: Avoid duplicate labels