Bug#710677: Fwd: [php-maint] Bug#710677: [php5] Call to undefined function json_decode()/json_encode()

-- Forwarded message -- From: Lior Kaplan Date: Sat, Jun 1, 2013 at 5:06 PM Subject: Re: [php-maint] Bug#710677: [php5] Call to undefined function json_decode()/json_encode() To: Nicolas Please read the changelog of the package. Some more info at http

Bug#710677: [php5] Call to undefined function json_decode()/json_encode()

Package: php5 Version: 5.5.0~rc2+dfsg-1 Severity: grave --- Please enter the report below this line. --- Hello, I just update the php5-cli package and the JSON extension (included into PHP by default) seems missing: $ php -r 'json_decode("{}");' PHP Fatal error: Call to undefined function json