以下是我用来将 GIF 文件转换为 PNG 文件并将其保存到变量中的代码:
$art = $_FILES["art"]["name"];
$art_ext = pathinfo($art, PATHINFO_EXTENSION);
if(strtoupper($art_ext)=="GIF"){
$art = imagepng(imagecreatefromstring(file_get_contents($_FILES["art"]["tmp_name"])), $art."png");
}
if($art!=""){
move_uploaded_file($art, "images/".$art );
}
另外,是否有将动画 gif 转换为静态 gif 的方法?