This is a drop-in alternative to the standard PHP JSON extension.
