ad_scope_admin_header

ad_scope_admin_header   page_title   db

if scope is not set in the topmost environment then public scope is assumed. if scope is group, it assumes group_vars_set is set in the topmost environment. it returns appropriate scope admin header

Source code:

    if { [uplevel [ad_scope_upvar_level] {info exists scope}] } {
	upvar [ad_scope_upvar_level] scope scope
    } else {
	set scope public
    }
    
    switch $scope {
	public {
	    return [ad_header $page_title]
	}
	group {
	    upvar [ad_scope_upvar_level] group_vars_set group_vars_set
	    set group_id [ns_set get $group_vars_set group_id]
	    return [ug_header $page_title $db $group_id]
	}
	user {
	    # this may be later modified if we allow users to customize the display of their pages
	    return [ad_header $page_title]
	}
    }