mirror of
https://github.com/moodle/moodle.git
synced 2025-01-18 05:58:34 +01:00
19 lines
268 B
PHP
19 lines
268 B
PHP
<?php // $Id$
|
|
|
|
/*
|
|
* Jumps to a given URL. Mostly used for accessibility.
|
|
*
|
|
*/
|
|
|
|
require('../config.php');
|
|
|
|
$jump = optional_param('jump', '');
|
|
|
|
if ($jump) {
|
|
redirect(urldecode($jump));
|
|
}
|
|
|
|
redirect($_SERVER['HTTP_REFERER']);
|
|
|
|
?>
|