[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 32b8a0: - Port pull request 756 to the original theme