Jan Ehrhardt in php.internals (Thu, 25 Oct 2018 06:02:31 +0200):
>Additional extensions that are not ready for PHP 7.2 yet:
7.3-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
