<?php
function redimImage($source, $destination, $largeur) {
$src_im = ImageCreateFromJpeg($image);
$size = GetImageSize($image);
$src_w = $size[0];
$src_h = $size[1];
// largeur de votre nouvelle image
$dst_w = $largeur;
$dst_h = round(($dst_w / $src_w) * $src_h);
$dst_im = ImageCreateTrueColor($dst_w,$dst_h);
/* ImageCopyResampled copie et rééchantillonne l'image originale*/
ImageCopyResampled($dst_im,$src_im,0,0,0,0,$dst_w,$dst_h,$src_w,$src_h);
ImageJpeg($dst_im, $destination);
ImageDestroy($dst_im);
imageDestroy($src_im);
}
redimImage("logo.jpg","mini_logo.jpg");
?>