[Phpmyadmin-devel] a typo?

[Marc Delisle]

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