clean_user($user, ! $check_user_show_realnames, $login_fallback); if ($html_encoding) { $return = htmlspecialchars($return); } return $return; }