';
return $code;
}
// loop over all values and prepare them so that "in" will work in javascript
$values = array();
if (!is_array($vars['value'])) {
$vars['value'] = array($vars['value']);
}
foreach ($vars['value'] as $value) {
$values[$value] = TRUE;
}
// convert the values to a json-encoded list
$json_values = json_encode($values);
if (!$user_picker_js_sent) {
?>