Hi,

in HEAD (or MAINT_2_8_2) libraries/Theme_Manager.class.php:

if (array_key_exists($PMA_Theme, $this->themes)) { $this->themes[$PMA_Theme] = $this->themes[$PMA_Theme]; continue; }

I don't see what's the goal of

$this->themes[$PMA_Theme] = $this->themes[$PMA_Theme];

Marc