"added missing $PAGE->set_url"

This commit is contained in:
Dongsheng Cai 2010-05-04 07:59:33 +00:00
parent 677199d6cd
commit 390679e7d6

View File

@ -111,6 +111,9 @@ if ($file_info and $file_info->is_directory() and $file_info->is_writable() and
if ($file_info and $delete) {
if (!data_submitted() or !confirm_sesskey()) {
$params = $file_info->get_params();
$params = array_merge($params, array('delete'=>1));
$PAGE->set_url("/files/index.php", $params);
echo $OUTPUT->header();
echo $OUTPUT->notification(get_string('deletecheckwarning').': '.$file_info->get_visible_name());
$parent_info = $file_info->get_parent();
@ -335,4 +338,4 @@ function displaydir($file_info) {
echo "</div>";
echo "<hr/>";
}
}