Editing File: /etc/cl.php.d/alt-php71/alt_php.ini