From 07d9001c08161faa2f0953530b89dbb2ca5c7a03 Mon Sep 17 00:00:00 2001
From: skodak <skodak>
Date: Fri, 18 Nov 2005 10:54:45 +0000
Subject: [PATCH] xxx_param() fix

---
 course/info.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/course/info.php b/course/info.php
index e1a5cdad861..995517ae91b 100644
--- a/course/info.php
+++ b/course/info.php
@@ -5,8 +5,8 @@
     require_once("../config.php");
     require_once("lib.php");
 
-    require_variable($id);    // Course id
-    optional_variable($name);
+    $id   = optional_param('id', false, PARAM_INT); // Course id
+    $name = optional_param('name', false, PARAM_RAW); // Course short name
 
     if (!$id and !$name) {
         error("Must specify course id or short name");