php-fileinfo: PHP fileinfo extension

    2020-07-21 22:26          25 etc/php.d/fileinfo.ini
    2020-07-21 22:27     5419027 usr/lib/php/20180731/fileinfo.dll
    2020-07-21 22:26           0 usr/share/doc/pear/fileinfo/
    2020-07-21 22:26          92 usr/share/doc/pear/fileinfo/CREDITS
    2020-07-21 22:26        2363 var/lib/pear/.registry/.channel.pecl.php.net/fileinfo.reg