<?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__ ) ?>