<?php
declare(strict_types=1);

$image = imagecreatetruecolor(9, 9);
$red = imagecolorallocate($image, 255, 0, 0);
imagesetthickness($image, 3);
imageline($image, 1, 4, 7, 4, $red);
$pixel = imagecolorsforindex($image, imagecolorat($image, 4, 3));
echo $pixel["red"], ",", $pixel["green"], ",", $pixel["blue"], "\n";
