Revert "Patch the `JSONLint` external to be compatible with PHP 5.2"

This reverts commit bfc4a6aa18eee06bd3ec184fa8f8c98b7f803fab.