moodle/course/jumpto.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']);

?>
A script that will jump to a given URL. Very simple. 2004-09-29 13:47:16 +00:00			`<?php // $Id$`

			`/*`
Added optional_param and required_param just to get it on the plate 2004-10-01 12:09:52 +00:00			`* Jumps to a given URL. Mostly used for accessibility.`
A script that will jump to a given URL. Very simple. 2004-09-29 13:47:16 +00:00			`*`
			`*/`

Added optional_param and required_param just to get it on the plate 2004-10-01 12:09:52 +00:00			`require('../config.php');`
A script that will jump to a given URL. Very simple. 2004-09-29 13:47:16 +00:00
Added optional_param and required_param just to get it on the plate 2004-10-01 12:09:52 +00:00			`$jump = optional_param('jump', '');`
A script that will jump to a given URL. Very simple. 2004-09-29 13:47:16 +00:00
Added optional_param and required_param just to get it on the plate 2004-10-01 12:09:52 +00:00			`if ($jump) {`
			`redirect(urldecode($jump));`
			`}`
A script that will jump to a given URL. Very simple. 2004-09-29 13:47:16 +00:00
Added optional_param and required_param just to get it on the plate 2004-10-01 12:09:52 +00:00			`redirect($_SERVER['HTTP_REFERER']);`
A script that will jump to a given URL. Very simple. 2004-09-29 13:47:16 +00:00
			`?>`