function edit_role(){
if(isset($_POST['role_id'])){
$role_id = $_POST['role_id']; $current_role = get_role_info($role_id);
print '
<div id="edit_role_form" style="display: none;" title="Редактирование роли">
<p>Название роли: <input type="text" id="role_name" value="'.$current_role['name'].'"></p>
<p>Право доступа: ';current_roles_list($role_id); echo'</p>
<p>Описание роли:<br><textarea rows="5" cols="45" id="role_description">'.$current_role['description'].'</textarea></p>';
echo'</div>';
}
}