Bump PHP_JSON_VERSION

[petk]

Json extension version should be bumped?

PHP json 1.7.0 from PHP 7.3 !== 1.7.0 from PHP 7.4

PHP_VERSION? 1.8.0? 1.7.1?

Thanks.

[nikic]

cc @bukka

I think setting this to PHP_VERSION is the right thing, but iirc there was some reason why it wasn't done.

[petk]

Note to self: in case PHP_VERSION will be used, also phpinfo() can be adjusted to not show the extension version in such case...

[remicollet]

IIRC this extension was also available on PECL
https://pecl.php.net/package/jsond

This make sense at PHP 5 time.

+1 to bump the version to PHP_VERSION

@bukka is the right guy to answer.

[bukka]

Yeah go for PHP_VERSION and feel free to remove it from phpinfo. As Remi said, it was because of jsond but considering that I haven't released jsond for ages and its master doesn't really follow it anyway, it just no longer makes sense to bump json ext version.

[petk]

Ok, thank you all for the feedback then. Applied via dee243d commit to PHP-7.4+.

[carusogabriel]

@petk Hey man, have we documented the extensions that have their versioning changed? This might help developers while upgrading their projects: lcobucci/content-negotiation-middleware#31.

[bburnichon]

I just ran into a slight issue with this version bump. I had a composer.json which requires "ext-json": "^1.2". Because of this change, I need to add "ext-json": "^1.2|^7.4", or change to the unbounded "ext-json": "*" version.