index 1267e712c24cbc62e51a4a28af008114e8341490..0791fe11d9fefc4f4c7bfc0810954a6c42f5d241 100644 (file)
$display = "";
$smarty = get_smarty();
$atr = $this->getServerInfos();
+
+ $releases= array();
foreach($atr as $release => $sections){
$releases[$release]=$release;
}