alt-php yerine ea-php7.2 yi seçebilirsiniz.