php-jsonlint: import from rawhide
php-jsonlint: backport