<?php |
// 本函数从源文件取出图像,设定成指定大小,并输出到目的文件 |
// 源文件格式:gif,jpg,png |
// 目的文件格式:gif |
// $srcFile:源文件 |
// $dstFile: 目标文件 |
// $dstW:目标图片宽度 |
// $dstH:目标文件高度 |
function makethumb( $srcFile , $dstFile , $dstW , $dstH ) |
{ |
$data = GetImageSize ( $srcFile , & $info ); |
switch ( $data [2]) { |
case 1: |
$imgsrc = @ImageCreateFromGIF( $srcFile ); |
break ; |
case 2: |
$imgsrc = @ImageCreateFromJPEG( $srcFile ); |
break ; |
case 3: |
$imgsrc = @ImageCreateFromPNG( $srcFile ); |
break ; |
} |
$srcW = ImageSX( $imgsrc ); |
$srcH = ImageSY( $imgsrc ); |
$ni = ImageCreate( $dstW , $dstH ); |
ImageCopyResized( $ni , $imgsrc , 0, 0, 0, 0, $dstW , $dstH , $srcW , $srcH ); |
Imagegif( $ni , $dstFile ); |
// 如果需要输出到浏览器,那么将上一句改为 ImageJpeg($ni); |
// 如果需要其他格式的图片,改动最后一句就可以了 |
} |
?> |