Features of PHP 7.2