826 function graph_perms_edit($tab, $header_label) {  argument
862 		graph_filter($header_label);
1103 		group_filter($header_label);
1200 		device_filter($header_label);
1367 		template_filter($header_label);
1512 		tree_filter($header_label);
1648 function user_realms_edit($header_label) {  argument
1659 … style='padding:3px;'>" . __('User Permissions') . " " . html_escape($header_label) . "</span></di…
1865 function settings_edit($header_label) {  argument
1874 	html_start_box(__esc('User Settings %s', $header_label), '100%', true, '3', 'center', '');
2004 		$header_label = __('[edit: %s]', $user['username']);
2006 		$header_label = __('[new]');
2036 		html_start_box(__esc('User Management %s', $header_label), '100%', '', '3', 'center', '');
2156 		settings_edit($header_label);
2160 		user_realms_edit($header_label);
2168 		graph_perms_edit($current_tab, $header_label);
2173 			user_realms_edit($header_label);
2555 function graph_filter($header_label) {  argument
2587 	html_start_box(__esc('Graph Permissions %s', $header_label), '100%', '', '3', 'center', '');
2663 function group_filter($header_label) {  argument
2694 	html_start_box(__esc('Group Membership %s', $header_label), '100%', '', '3', 'center', '');
2748 function device_filter($header_label) {  argument
2780 	html_start_box(__esc('Devices Permission %s', $header_label), '100%', '', '3', 'center', '');
2852 function template_filter($header_label) {  argument
2883 	html_start_box(__esc('Template Permission %s', $header_label), '100%', '', '3', 'center', '');
2937 function tree_filter($header_label) {  argument
2968 	html_start_box(__esc('Tree Permission %s', $header_label), '100%', '', '3', 'center', '');
3022 function member_filter($header_label) {  argument
3053 	html_start_box(__esc('Tree Permission %s', $header_label), '100%', '', '3', 'center', '');