From 95bea1edfacaf4fa1a93c9f0b6cc6bdd5187181d Mon Sep 17 00:00:00 2001 From: vyshane Date: Tue, 23 Jan 2007 06:20:47 +0000 Subject: [PATCH] Fixed some JS issues for IE. MDL-8183. --- group/index.php | 6 +++--- group/lib/clientlib.js | 29 +++++++++++++++++------------ 2 files changed, 20 insertions(+), 15 deletions(-) diff --git a/group/index.php b/group/index.php index 7c1c2d1ec7..f4b2865e75 100644 --- a/group/index.php +++ b/group/index.php @@ -16,7 +16,7 @@ require_once($CFG->libdir.'/json/JSON.php'); $success = true; -$courseid = required_param('id', PARAM_INT); +$courseid = required_param('id', PARAM_INT); $groupingid = optional_param('grouping', -1, PARAM_INT); $groupid = optional_param('group', false, PARAM_INT); $userid = optional_param('user', false, PARAM_INT); @@ -186,8 +186,8 @@ if ($success) {

-