From 24d5bfff76132ccd13609b7cc320248f9a110c87 Mon Sep 17 00:00:00 2001
From: thepurpleblob <thepurpleblob>
Date: Wed, 15 Jun 2005 09:46:19 +0000
Subject: [PATCH] optional_variable() replaced with optional_param()

---
 backup/log.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backup/log.php b/backup/log.php
index 93a81483675..d37cc4d6333 100644
--- a/backup/log.php
+++ b/backup/log.php
@@ -4,7 +4,7 @@
     require_once("../config.php");
     require_once("../backup/lib.php");
 
-    optional_variable($courseid);
+    $courseid = optional_param('courseid',0,PARAM_INT);
 
     require_login();