Cómo instalar php-json en Debian 9 (Stretch)