/** * Gets the given preference for the given userid. * * @since 0.3 * @param integer The user id * @param string The preference name * @param mixed The default value if the preference is not set for the given user id. * @return mixed. */ function get_preference($userid, $prefname, $default = '') { return cms_userprefs::get_for_user($userid, $prefname, $default); }