# Mantis - a php based bugtracking system

# Copyright (C) 2000 - 2002  Kenzaburo Ito - kenito@300baud.org

# Copyright (C) 2002 - 2007  Mantis Team   - mantisbt-dev@lists.sourceforge.net

# Mantis is free software: you can redistribute it and/or modify

# it under the terms of the GNU General Public License as published by

# the Free Software Foundation, either version 2 of the License, or

# (at your option) any later version.

#

# Mantis is distributed in the hope that it will be useful,

# but WITHOUT ANY WARRANTY; without even the implied warranty of

# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

# GNU General Public License for more details.

#

# You should have received a copy of the GNU General Public License

# along with Mantis.  If not, see <http://www.gnu.org/licenses/>.

	# --------------------------------------------------------

	# $Id: account_prof_edit_page.php,v 1.38.2.1 2007-10-13 22:32:13 giallu Exp $

	# --------------------------------------------------------

?>

	# This page allows the user to edit his/her profile

	# Changes get POSTed to account_prof_update.php

?>

	require_once( 'core.php' );

	$t_core_path = config_get( 'core_path' );

	require_once( $t_core_path.'current_user_api.php' );

	require_once( $t_core_path.'profile_api.php' );

?>

	auth_ensure_user_authenticated();

	current_user_ensure_unprotected();

?>

	$f_profile_id	= gpc_get_int( 'profile_id' );

	if ( profile_is_global( $f_profile_id ) ) {

		access_ensure_global_level( config_get( 'manage_global_profile_threshold' ) );

		$row = profile_get_row( ALL_USERS, $f_profile_id );

	} else {

		$row = profile_get_row( auth_get_current_user_id(), $f_profile_id );

	}

   	extract( $row, EXTR_PREFIX_ALL, 'v' );

?>

	if ( profile_is_global( $f_profile_id ) ) {

		print_manage_menu();

	}

?>

<form method="post" action="account_prof_update.php">

<input type="hidden" name="action" value="update">

		<input type="hidden" name="profile_id" value="<?php echo $v_id ?>" />

			if ( !profile_is_global( $f_profile_id ) ) {

				print_account_menu();

			}

		?>

		*

		<input type="text" name="platform" size="32" maxlength="32" value="<?php echo string_attribute( $v_platform ) ?>" />

		*

		<input type="text" name="os" size="32" maxlength="32" value="<?php echo string_attribute( $v_os ) ?>" />

		*

		<input type="text" name="os_build" size="16" maxlength="16" value="<?php echo string_attribute( $v_os_build ) ?>" />

		<textarea name="description" cols="60" rows="8"></textarea>

		<input type="submit" class="button" value="<?php echo lang_get( 'update_profile_button' ) ?>" />

</form>