[phpMyAdmin Developers] Theme for 4.7

Hi all I know it's a bit late, but some time ago I filled https://github.com/phpmyadmin/phpmyadmin/issues/12373 where I wanted to start theme selection for 4.7. Unfortunately this really did not happen. Why I'm opening this question is that we got another report about shipped themes: https://github.com/phpmyadmin/phpmyadmin/issues/12916 It would be great if you can look at the issue and comment your feelings about theme change. -- Michal Čihař | https://cihar.com/ | https://weblate.org/