| enrol_manual_keyholderrole: | $role) {
            $rolenames[$id]=$role->name;
        }
        choose_from_menu($rolenames, 'enrol_manual_keyholderrole', $frm->enrol_manual_keyholderrole); 
    ?> |  | 
    | enrol_manual_showhint: | enrol_manual_showhint, '');
?> |  | 
    | enrol_manual_usepasswordpolicy: | enrol_manual_usepasswordpolicy, '');
?> |  | 
    | enrol_manual_requirekey: | enrol_manual_requirekey, '');
?> |  |