equal
deleted
inserted
replaced
47 delete_domain($del); |
47 delete_domain($del); |
48 } |
48 } |
49 } |
49 } |
50 |
50 |
51 delete_user($id); |
51 delete_user($id); |
52 clean_page($BASE_URL . $BASE_PATH . "users.php"); |
52 clean_page("users.php"); |
53 } |
53 } |
54 include_once("inc/header.inc.php"); |
54 include_once("inc/header.inc.php"); |
55 ?> |
55 ?> |
56 |
56 |
57 <h3><?php echo _('Delete user'); ?> "<?php echo get_fullname_from_userid($id) ?>"</h3> |
57 <h3><?php echo _('Delete user'); ?> "<?php echo get_fullname_from_userid($id) ?>"</h3> |