[Phpmyadmin-devel] new Theme class?

[Marc Delisle]

Hi,
after choosing darkblue/orange in the interface, the theme changes but 
in the chooser I see darkblue/orange twice, and original is gone.

Marc