This release fix a bug for PHP 7.3.0 concerning Xdebug (Issue #404).
You can find links to download this release on the PHP page.