if(isset($_GET['htm'])) $_SESSION['htm']=1; ?>
|
$file_patch="MAPS_files/prev_maps/".$r['img_filename']; // echo $file_patch;
if(is_file($file_patch))
{
$file_type=getimagesize($file_patch);
/* foreach($file_type as $key=>$value)
{
if($key=='mime') $type=$value;
} */
list($width, $height, $t, $attr) = getimagesize($file_patch);
?>
|
if(!empty($r['name'])) { ?> =out_sql($r['name'],"",$SF);?> } ?> if(!empty($r['desc'])) { ?> =out_sql($r['desc'],"",$SF)?> } ?> |