if(isset($fn)) { $new_size = getsize_minimaxi($fn,$GLOBALS['full_width'][$id_disp_bg],$GLOBALS['full_height'][$id_disp_bg],$enlarge_bg); // groessenberechnung $img_ext = get_ext($fn); if($new_size[0]==$new_size[2]&&$new_size[1]==$new_size[3]&&!in_array($img_ext,$GLOBALS['imageextensions_nohtml'])&&!in_array($img_ext,$GLOBALS['imageextensions_nosc'])) $File=$fn; else { if(!do_imgconvert($fn,$File,$new_size[0],$new_size[1],'jpeg',$img_ext,90,$new_size[2],$new_size[3])) $File=$fn; } }