A voir également:
- [php] Convertion gif en png ou jpg?
- Convertir hevc en jpg - Guide
- Easy php - Télécharger - Divers Web & Internet
- Convertir gif en mp4 - Guide
- Lecteur jpg - Télécharger - Photo & Graphisme
- Convertir youtube en mp3 avec audacity - Guide
8 réponses
Sri Lumpa
Messages postés
177
Date d'inscription
mercredi 14 novembre 2007
Statut
Membre
Dernière intervention
1 juin 2010
69
19 sept. 2008 à 17:55
19 sept. 2008 à 17:55
Je n'ai plus utilisé GD depuis quelques temps mais avec :
ça devrait marcher...
$image = imagecreatefromgif($fichiergif); imagepng($image, $fichierpng);
ça devrait marcher...
J'ai fais sa, mais ça ne fonctionne pas.
$imagegif=$header['tmp_name']; $src_png=imagecreatefromgif('$imagesgif'); $picture=imagepng($src_png,'$imagesgif'); copy($picture, "./header$codelieu.png"); imageDestroy($src_png);
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question
mamiemando
Messages postés
33357
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
14 novembre 2024
7 799
18 sept. 2008 à 10:23
18 sept. 2008 à 10:23
Avec gd normalement ça se fait :
http://www.webmaster-hub.com/lofiversion/index.php/t17142.html
Bonne chance
http://www.webmaster-hub.com/lofiversion/index.php/t17142.html
Bonne chance
mamiemando
Messages postés
33357
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
14 novembre 2024
7 799
19 sept. 2008 à 01:12
19 sept. 2008 à 01:12
Désolée mais en ce qui me concerne je ne sais pas comment faire en PHP. Si j'étais confronté à la situation j'utiliserais simplement un truc du genre convert (cf imagemagick) ou un logiciel de dessin/photo (genre the gimp).
Bonne chance
Bonne chance