[Fedora-php-devel-list] Re: PHP 7.2 as Fedora 27 change