[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 6ed8df: Fix badge colors