[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7c3715: Fix gitignore for public/themes