php-sysvsem: PHP sysvsem extension

    2020-07-21 22:26          24 etc/php.d/sysvsem.ini
    2020-07-21 22:28       11795 usr/lib/php/20180731/sysvsem.dll
    2020-07-21 22:26           0 usr/share/doc/pear/sysvsem/
    2020-07-21 22:26          28 usr/share/doc/pear/sysvsem/CREDITS
    2020-07-21 22:26        2355 var/lib/pear/.registry/.channel.pecl.php.net/sysvsem.reg