function img($file,$alt,$attrs="")
{
- list($width,$height)=getimagesize(ereg_replace("\\.mng",".gif",$file));
+ list($width,$height)=getimagesize(ereg_replace("\\.mng\$",".gif",$file));
$alt=htmlspecialchars($alt);
return("<img src=\"$file\" alt=\"$alt\" title=\"$alt\" ".img_size($width,$height)
.($attrs=="" ? "" : " ".$attrs)." />");