Editing File: /opt/alt/php72/etc/php.d.std/fileinfo.ini