<?php
declare(strict_types=1);

$image = imagecreatetruecolor(30, 10);
$color = imagecolorallocate($image, 20, 80, 120);
imagefilledrectangle($image, 0, 0, 29, 9, $color);
imagepng($image, "badge.png");
$info = getimagesize("badge.png");
echo $info[0], "x", $info[1], " ", $info["mime"], "\n";
