diff --git a/user/index.php b/user/index.php index 98c9f3d0a79..d2bab5fac82 100644 --- a/user/index.php +++ b/user/index.php @@ -14,9 +14,8 @@ optional_variable($lastinitial, ""); // only show students with this last initial optional_variable($firstinitial, ""); // only show students with this first initial optional_variable($perpage, "20"); // how many per page - optional_variable($_GET['format'], ''); // 'brief' for less details, '' for more - - $compactmode = ($_GET['format'] == 'brief'); + $format = optional_param('format', ''); // 'brief' for less details, '' for more + $compactmode = ($format == 'brief'); if (! $course = get_record("course", "id", $id)) { error("Course ID is incorrect"); @@ -65,7 +64,7 @@ 'brief' => get_string('detailedless'), ); // [pj] Oh, the things I do to put it in one line... :P - echo str_replace('