Very old versions of PHP do not have JSON routines
built-in.  In that case, use an external library.