A PHP function to format a JSON string in a human-readable manner.