Como instalar php-json no Debian 9 (Stretch)