$all_recs_num (defined in GUI_paging) | GUI_paging | |
$pages_each_set (defined in GUI_paging) | GUI_paging | |
$recs_each_page (defined in GUI_paging) | GUI_paging | |
pagerSet($all_recs_num, $recs_each_page, $pages_each_set=10, $paging_page= '') (defined in GUI_paging) | GUI_paging |