Reply To: PHP 7.2 support