portal_header

portal_header id group_name url_name page_number type

Defined in tcl/portals-defs.tcl

Generate header for portal pages.

Parameters:

id
group_name
url_name
page_number
type