Given a PHP value, which sample shows how to convert the value to JSON?

$string = json_encode($value);

$string = Json::encode($value);

$json = new Json($value); $string = $json->__toString();

$value = (object) $value; $string = $value->__toJson();