[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 3fe9fc: Ignore themes from separate repo