php-json: PHP json extension

    2020-07-21 22:26          21 etc/php.d/json.ini
    2020-07-21 22:27       41491 usr/lib/php/20180731/json.dll
    2020-07-21 22:26           0 usr/share/doc/pear/json/
    2020-07-21 22:26          48 usr/share/doc/pear/json/CREDITS
    2020-07-21 22:26        2329 var/lib/pear/.registry/.channel.pecl.php.net/json.reg