【发布时间】:2013-09-05 02:36:00
【问题描述】:
以下是我用来将 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?
【问题讨论】:
-
请说明您的实际问题是什么。除非您将其作为 wiki 发布,否则标题与您在正文中提出的问题无关。