画像の縮小・拡大

元画像を縮小し、Getパラメーターでパスを送ります。

<?php

$file1 = "img/20180331-0.jpeg";
$name = substr($file1, 4);

$file2 = "img_s/".$name."";
$file3 = "img_s2/".$name."";
$in = ImageCreateFromJPEG($file1); //元画像ファイル読み込み
$size = GetImageSize($file1); //　元画像サイズ取得

$width = $size&#91;0&#93; / 2;
$height = $size&#91;1&#93; / 2;
$out = ImageCreateTrueColor($width, $height); //　画像生成
ImageCopyResampled($out, $in, 0, 0, 0, 0, $width, $height, $size&#91;0&#93;, $size&#91;1&#93;);
ImageJPEG($out, $file2);

$width2 = $size&#91;0&#93; / 3;
$height2 = $size&#91;1&#93; / 3;
$out2 = ImageCreateTrueColor($width2, $height2); //　画像生成
ImageCopyResampled($out2, $in, 0, 0, 0, 0, $width2, $height2, $size&#91;0&#93;, $size&#91;1&#93;);
ImageJPEG($out2, $file3);

ImageDestroy($in);
ImageDestroy($out);
ImageDestroy($ou2);
?>
<?php echo (int)$width2.'x'.(int)$height2."px" ?> <a href="file.php?id=<?php echo $file3 ?>">JPEGでダウンロード</a> | <a href="">GIFでダウンロード</a><br>
<img src="<?php echo $file3 ?>"><br>
<br>

<?php echo (int)$width.'x'.(int)$height."px" ?> <a href="file.php?id=<?php echo $file2 ?>">JPEGでダウンロード</a> | <a href="">GIFでダウンロード</a><br>
<img src="<?php echo $file2 ?>"><br>
<br>
<?php echo $size&#91;0&#93;.'x'.$size&#91;1&#93;. "px"  ?> <a href="file.php?id=<?php echo $file ?>">JPEGでダウンロード</a> | <a href="">GIFでダウンロード</a><br>
<img src="<?php echo $file1 ?>">

おいおいおい、これでいいのかよ？