This script requires the JSON PHP extension.