The official https://xdebug.org/download.php#releases website does not contain any PHP 7.2-compatible and VC15-compiled releases yet:
The official https://xdebug.org/download.php#releases website does not contain any PHP 7.2-compatible and VC15-compiled releases yet: