imagegif() creates the GIF file in filename from the image
image. The image argument is the return from the
imagecreate() function.
The image format will be
GIF87a unless the image has been made transparent with
imagecolortransparent(), in which case the
image format will be GIF89a.
The filename argument is optional, and if left off, the
raw image stream will be output directly. By sending an
image/gif content-type using
header(), you can create a PHP
script that outputs GIF images
directly.
注: Since all GIF support was removed from the GD library in version 1.6, this function is not available if you are using that version of the GD library.
The following code snippet allows you to write more portable PHP applications by auto-detecting the type of GD support which is available. Replace the sequence header ("Content-type: image/gif"); imagegif ($im); by the more flexible sequence:
?php if (function_exists("imagegif")) { header ("Content-type: image/gif"); imagegif ($im); } elseif (function_exists("imagejpeg")) { header ("Content-type: image/jpeg"); imagejpeg ($im, "", 0.5); } elseif (function_exists("imagepng")) { header ("Content-type: image/png"); imagepng ($im); } elseif (function_exists("imagewbmp")) { header ("Content-type: image/vnd.wap.wbmp"); imagewbmp ($im); } else die("No image support in this PHP server"); ?
注: As of version 3.0.18 and 4.0.2 you can use the function imagetypes() in place of function_exists() for checking the presence of the various supported image formats:
if (imagetypes() IMG_GIF) { header ("Content-type: image/gif"); imagegif ($im); } elseif (imagetypes() IMG_JPG) { ... etc.
See also imagepng(),
imagewbmp(), imagejpeg(),
imagetypes().