$temp = array(&$username, &$pref_name);
$result = do_hook('get_pref_override', $temp);
$temp = array(&$username, &$pref_name);
$result = do_hook('get_pref_override', $temp);
cachePrefValues($data_dir, $username);
if (isset($prefs_cache[$pref_name])) {
$result = $prefs_cache[$pref_name];
} else {
cachePrefValues($data_dir, $username);
if (isset($prefs_cache[$pref_name])) {
$result = $prefs_cache[$pref_name];
} else {
$temp = array(&$username, &$pref_name);
$result = do_hook('get_pref', $temp);
$temp = array(&$username, &$pref_name);
$result = do_hook('get_pref', $temp);