1 2 3 4 5 6 7 8 9 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
| <?php
function getRow($sequence){
$result = explode("</table>", $sequence);
return $result;
}
function getPicture($sequence){
eregi ("background=(.*) style=" , html_entity_decode($sequence) , $result);
return $result;
}
function redimensionnement($file, $returnedFile){
$x = 200;
$y = 100; # Taille en pixel de l'image redimensionnée
$size = getimagesize($file);
if ( $size) {
if ($size['mime']=='image/jpeg' ) {
$img_big = imagecreatefromjpeg($file); # On ouvre l'image d'origine
$img_new = imagecreate($x, $y);
# création de la miniature
$img_mini = imagecreatetruecolor($x, $y)
or $img_mini = imagecreate($x, $y);
// copie de l'image, avec le redimensionnement.
imagecopyresized($img_mini,$img_big,0,0,0,0,$x,$y,$size[0],$size[1]);
imagejpeg($img_mini, $returnedFile);
}
elseif ($size['mime']=='image/png' ) {
$img_big = imagecreatefrompng($file); # On ouvre l'image d'origine
$img_new = imagecreate($x, $y);
# création de la miniature
$img_mini = imagecreatetruecolor($x, $y)
or $img_mini = imagecreate($x, $y);
// copie de l'image, avec le redimensionnement.
imagecopyresized($img_mini,$img_big,0,0,0,0,$x,$y,$size[0],$size[1]);
imagepng($img_mini, $returnedFile);
}
elseif ($size['mime']=='image/gif' ) {
$img_big = imagecreatefromgif($file); # On ouvre l'image d'origine
$img_new = imagecreate($x, $y);
# création de la miniature
$img_mini = imagecreatetruecolor($x, $y)
or $img_mini = imagecreate($x, $y);
// copie de l'image, avec le redimensionnement.
imagecopyresized($img_mini,$img_big,0,0,0,0,$x,$y,$size[0],$size[1]);
imagegif($img_mini, $returnedFile);
}
}
}
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html;charset=UTF-8"/>
<title></title>
</head>
<?php
$result[0] = str_replace(" ", " ", $result[0]);
$ventes = getRow($result[0]);
foreach ($ventes as $contenu) {
$resultat = getPicture($contenu);
$resultat = str_replace("background=\"", "", $resultat);
$resultat = str_replace("\" style=", "", $resultat);
$resultat = str_replace("\"background-repeat:no-repeat\" >","", $resultat);
redimensionnement($resultat[0], "temp.jpg");
echo "<img src=\"http://monsite/exemple/temp.jpg\" alt=\"\" style=\"\"/><br />";
}
?> |
Partager