php-json: PHP json extension

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