Thank you for reporting this bug and helping to make Ubuntu better.
I was unaware of the licensing problem and swap-out of PHP's json module when I merged PHP last during Saucy development. I had assumed that it would be treated by PHP developers as an add-on without the expectation that it would be available by default. I now understand that this may not be the case, and that PHP developers expect a json module to be available by default.
Since php5-json is a separate package, it has ended up in universe in Ubuntu. So we cannot simply depend on it or recommend it from php5-common since php5-common is in main.
As a workaround, users can still install php5-json from universe, though being in universe it is community supported only (eg. for security updates).
I suppose that we need to pull php5-json (source: php-json) into main, or if we cannot then we must conclude that we're going to require users and developers to explicitly install php5-json from universe if they want it.
Thank you for reporting this bug and helping to make Ubuntu better.
I was unaware of the licensing problem and swap-out of PHP's json module when I merged PHP last during Saucy development. I had assumed that it would be treated by PHP developers as an add-on without the expectation that it would be available by default. I now understand that this may not be the case, and that PHP developers expect a json module to be available by default.
Since php5-json is a separate package, it has ended up in universe in Ubuntu. So we cannot simply depend on it or recommend it from php5-common since php5-common is in main.
As a workaround, users can still install php5-json from universe, though being in universe it is community supported only (eg. for security updates).
I suppose that we need to pull php5-json (source: php-json) into main, or if we cannot then we must conclude that we're going to require users and developers to explicitly install php5-json from universe if they want it.