/etc/php72/php.ini