.
# --------------------------------------------------------
# $Id: manage_user_edit_page.php,v 1.18.2.1 2007-10-13 22:33:54 giallu Exp $
# --------------------------------------------------------
require_once( 'core.php' );
auth_reauthenticate();
access_ensure_global_level( config_get( 'manage_user_threshold' ) );
$f_user_id = gpc_get_int( 'user_id' );
$c_user_id = $f_user_id;
$t_user = user_get_row( $f_user_id );
html_page_top1();
html_page_top2();
print_manage_menu();
?>
= user_count_level( ADMINISTRATOR ) ) ) ) { ?>