if (function_exists('image_type_to_extension') === false) {
function image_type_to_extension($imagetype, $include_dot = false) {
$extension = false;
switch ($imagetype) {
case 1 :
$extension = "gif";
break;
case 2 :
$extension = "jpg";
break;
case 3 :
$extension = "png";
break;
case 4 :
$extension = "swf";
break;
case 5 :
$extension = "psd";
break;
case 6 :
$extension = "bmp";
break;
case 7 :
case 8 :
$extension = "tif";
break;
default :
$extension = false;
break;
}
if (($extension !== false) && ($include_dot == true)) {
$extension = "." . $extension;
}
return $extension;
}
}
