function name_value($name, $value) { $encoded_value = JSON::_encode($value); return JSON::_encode(strval($name)) . ':' . $encoded_value; }