[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 948793: Fix metro theme after last merge