All pastes #886610 Raw Edit

Unnamed

public text v1 · immutable
#886610 ·published 2008-01-31 20:11 UTC
rendered paste body
	if ($filename != '') {
		if (isset($user_realms[$user_auth_realm_filenames{basename($filename)}]))
			return TRUE;
	}
	return FALSE;