. # -------------------------------------------------------- # $Id: manage_proj_ver_edit_page.php,v 1.31.2.1 2007-10-13 22:33:48 giallu Exp $ # -------------------------------------------------------- require_once( 'core.php' ); auth_reauthenticate(); $f_version_id = gpc_get_int( 'version_id' ); $t_version = version_get( $f_version_id ); access_ensure_project_level( config_get( 'manage_project_threshold' ), $t_version->project_id ); html_page_top1(); html_page_top2(); print_manage_menu( 'manage_proj_ver_edit_page.php' ); ?>




	<?php echo string_attribute( $t_version->description ) ?>
	released, VERSION_RELEASED ); ?> />