php-jsonlint: backport 1.1.1