Fix #11417: Allow EVENT_MENU_MAIN plugin events to return null
[mantis/radio.git] / jump_to_bug.php
blobaaf7fe37e9698adb6d688fa845ff496d16cb72b0
1 <?php
2 # MantisBT - A PHP based bugtracking system
4 # MantisBT is free software: you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation, either version 2 of the License, or
7 # (at your option) any later version.
9 # MantisBT is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with MantisBT. If not, see <http://www.gnu.org/licenses/>.
17 /**
18 * @package MantisBT
19 * @copyright Copyright (C) 2000 - 2002 Kenzaburo Ito - kenito@300baud.org
20 * @copyright Copyright (C) 2002 - 2010 MantisBT Team - mantisbt-dev@lists.sourceforge.net
21 * @link http://www.mantisbt.org
23 * @uses core.php
24 * @uses authentication_api.php
25 * @uses gpc_api.php
26 * @uses print_api.php
29 require_once( 'core.php' );
30 require_api( 'authentication_api.php' );
31 require_api( 'gpc_api.php' );
32 require_api( 'print_api.php' );
34 auth_ensure_user_authenticated();
36 # Determine which view page to redirect back to.
37 $f_bug_id = gpc_get_int( 'bug_id' );
39 print_header_redirect_view( $f_bug_id );