php-sockets: PHP sockets extension

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