php-jsonlint: 1.3.0 (backport)