MySQL 中的 PHP 和 JSON 数据类型

尽管最近在MySQL中实现了JSON数据类型，但我在相关的PHP文档中找不到任何关于它的词。我的问题是：PHP 会自动将 JSON 列的单元格转换为实际值（数组或文字）还是仅提供 json 编码的字符串。喜欢：

$sql_query = "SELECT JSON_ARRAY(1,2,3)";
$result = mysqli_query($sql_query);
$value = mysqli_fetch_row($result)[0];
// what is a $value? Array(1,2,3) or a string "[1,2,3]"
// do I have to use json_decode() to get an actual array here?

（现在手头没有MySQL 5.7，所以不能自己检查。