php-jsonlint-get-source.sh