+ function get_contact_role_string($contact) {
+ return get_role_string($contact, $GLOBALS['contact_roles']);
+ }
+
+ function get_hub_role_string($hub) {
+ return get_role_string($hub, $GLOBALS['hub_roles']);
+ }
+
+ function show_role_form($role, $roles) {
+ for ($i = 0; $i < count($roles); $i++) {
+ echo " <input type=\"checkbox\" name=\"role_$i\"";
+ if ($role & (1 << $i)) echo " checked";
+ echo ">$roles[$i]\n";
+ }
+ }
+