[Phpmyadmin-git] [phpmyadmin/phpmyadmin] e9d0b2: css for original theme, feature request 1522