<?php
# 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/>.
#------------------------------
# $Revision: 2643 $
# $Author: al $
# $Date: 2009-06-18 19:06:27 -0400 (Thu, 18 Jun 2009) $
#------------------------------
require_once( 'core.php' );
# helper_ensure_post();
# Check if project documentation feature is enabled.
if ( OFF == config_get( 'enable_project_documentation' ) ) {
access_denied();
}
$f_file_id = gpc_get_int( 'file_id' );
$t_project_id = file_get_field( $f_file_id, 'project_id', 'project' );
access_ensure_project_level( config_get( 'upload_project_file_threshold' ), $t_project_id );
$t_project_file_table = config_get( 'mantis_project_file_table' );
$query = "SELECT title FROM $t_project_file_table
WHERE id=$f_file_id";
$result = db_query( $query );
$t_title = db_result( $result );
# Confirm with the user
helper_ensure_confirmed( lang_get( 'confirm_file_delete_msg' ) .
'<br/>' . lang_get( 'filename' ) . ': ' . string_display( $t_title ),
lang_get( 'file_delete_button' ) );
file_delete( $f_file_id, 'project' );
$t_redirect_url = 'proj_doc_page.php';
html_page_top1();
html_meta_redirect( $t_redirect_url );
html_page_top2();
?>
<div id="message" class="green">
<?php
echo '<p>' . lang_get( 'operation_successful' ) . '</p>';
print_bracket_link( $t_redirect_url, lang_get( 'proceed' ) );
?>
</div>
<?php html_page_bottom1( __FILE__ ) ?>