Description:
------------
PHP 7.3.4 nts 64bit

Unable to turn off antialiasing for an image, resulting in inability to draw lines with thickness > 1

Expected operation is observed in PHP 5.5.38


Test script:
---------------
<?php
    header('Cache-Control: no-cache');
    header('Content-type: image/png');
    
    $width = 400;  $height = 300;
    $im = imagecreatetruecolor($width, $height);
    $white = imagecolorallocate($im, 255, 255, 255);
    $blue = imagecolorallocate($im, 0, 0, 255); 
    
    imageantialias($im, false);
    imagefilledrectangle($im, 0, 0, $width-1, $height-1, $white);
  
    imageline($im, 0, 0, $width, $height, $blue);
    imagesetthickness($im, 3); 
    imageline($im, 10, 0, $width, $height-10, $blue);
  
    imagepng($im);
?>

Expected result:
----------------
PNG image showing two blue lines, not antialiased, one 1 pixel wide, one 3 pixels wide

Actual result:
--------------
PNG image showing two blue lines, antialiased, both 1 pixel wide.