[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 43d51a: Update themes for 5.1