/** * Sets the given perference for the given userid with the given value. * * @since 0.3 * @param integer The user id * @param string The preference name * @param mixed The preference value (will be stored as a string) * @return void */ function set_preference($userid, $prefname, $value) { return cms_userprefs::set_for_user($userid, $prefname, $value); }