| |
01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118
<?php
/*------------------------------*/
/*
Titre : Effet miroir sur des images
Date édition : 15 Fev 2019
Date mise a jour : 11 Aout 2019
Rapport de la maj:
- modification de la description
*/
/*------------------------------*/
function pic_flip($src , $dest , $format , $flip="H"){
/* Paramètres : $src : fichier source
* $dest : fichier de destination
* $format : format de l'image résultat
* ("GIF", "JPG", "PNG", "WBMP")
* $flip : type de flip H => horizontal
* V => vertical
* VH ou HV => horizontal puis vertical
*/
else
return FALSE;
switch($size[2])
{
case 1 :
$pic = imagecreatefromgif($src);
break;
case 2 :
$pic = imagecreatefromjpeg($src);
break;
case 3 :
$pic = imagecreatefrompng($src);
break;
default :
$pic = imagecreatefromwbmp($src);
}
if (!$pic)
return FALSE;
if ($flip == 'V')
{
for($i=0;$i<$height;$i++)
{
imagecopy($p, $pic, 0, $height-1-$i, 0, $i, $width, 1);
}
$pic = $p;
}
if ($flip == 'H')
{
for($i=0;$i<$width;$i++)
{
imagecopy($p, $pic, $width-1-$i, 0, $i, 0, 1, $height);
}
$pic = $p;
}
if ($flip == 'HV' || $flip == 'VH')
{
for($i=0;$i<$height;$i++)
{
imagecopy($p, $pic, 0, $height-1-$i, 0, $i, $width, 1);
}
for($i=0;$i<$width;$i++)
{
imagecopy($pic, $p, $width-1-$i, 0, $i, 0, 1, $height);
}
}
if ($format == "GIF")
{
else
return FALSE;
}
else if ($format == "JPG")
{
else
return FALSE;
}
else if ($format == "PNG")
{
else
return FALSE;
}
else if ($format == "WBMP")
{
else
return FALSE;
}
else return FALSE;
return TRUE;
}
?>
<?php
/*------------------------------*/
/*
Titre : Effet miroir sur des images
Date édition : 15 Fev 2019
Date mise a jour : 11 Aout 2019
Rapport de la maj:
- modification de la description
*/
/*------------------------------*/
function pic_flip($src , $dest , $format , $flip="H"){
/* Paramètres : $src : fichier source
* $dest : fichier de destination
* $format : format de l'image résultat
* ("GIF", "JPG", "PNG", "WBMP")
* $flip : type de flip H => horizontal
* V => vertical
* VH ou HV => horizontal puis vertical
*/
else
return FALSE;
switch($size[2])
{
case 1 :
$pic = imagecreatefromgif($src);
break;
case 2 :
$pic = imagecreatefromjpeg($src);
break;
case 3 :
$pic = imagecreatefrompng($src);
break;
default :
$pic = imagecreatefromwbmp($src);
}
if (!$pic)
return FALSE;
if ($flip == 'V')
{
for($i=0;$i<$height;$i++)
{
imagecopy($p, $pic, 0, $height-1-$i, 0, $i, $width, 1);
}
$pic = $p;
}
if ($flip == 'H')
{
for($i=0;$i<$width;$i++)
{
imagecopy($p, $pic, $width-1-$i, 0, $i, 0, 1, $height);
}
$pic = $p;
}
if ($flip == 'HV' || $flip == 'VH')
{
for($i=0;$i<$height;$i++)
{
imagecopy($p, $pic, 0, $height-1-$i, 0, $i, $width, 1);
}
for($i=0;$i<$width;$i++)
{
imagecopy($pic, $p, $width-1-$i, 0, $i, 0, 1, $height);
}
}
if ($format == "GIF")
{
else
return FALSE;
}
else if ($format == "JPG")
{
else
return FALSE;
}
else if ($format == "PNG")
{
else
return FALSE;
}
else if ($format == "WBMP")
{
else
return FALSE;
}
else return FALSE;
return TRUE;
}
?>
|