PHP 7.2 freigegeben