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.