1 Aug
2006
1 Aug
'06
4:40 p.m.
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