From d5e475e58edb8028d1792a752435781b46e19a23 Mon Sep 17 00:00:00 2001
From: Henning Bostelmann <henning.bostelmann@york.ac.uk>
Date: Mon, 12 Jan 2015 22:43:59 +0000
Subject: [PATCH] Fix graphics for toggle button

---
 studentview.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/studentview.php b/studentview.php
index 45e44924..7d01f491 100644
--- a/studentview.php
+++ b/studentview.php
@@ -249,7 +249,7 @@
                     $collegues .= " $picture $name<br/>";
                 }
                 $collegues .= '</div>';
-                $aSlot->groupsession .= " <a href=\"javascript:toggleVisibility('{$aSlot->id}')\"><img name=\"group<?php p($aSlot->id) ?>\" src=\"{$CFG->wwwroot}/pix/t/switch_plus.gif\" border=\"0\" title=\"".get_string('whosthere', 'scheduler')."\"></a> {$collegues}";
+                $aSlot->groupsession .= " <a href=\"javascript:toggleVisibility('{$aSlot->id}')\"><img name=\"group<?php p($aSlot->id) ?>\" src=\"{$CFG->wwwroot}/pix/t/switch_plus.png\" border=\"0\" title=\"".get_string('whosthere', 'scheduler')."\"></a> {$collegues}";
             }
             $canappoint = true;
             $canusegroup = ($aSlot->appointed) ? 0 : 1;
@@ -294,11 +294,11 @@ function toggleVisibility(id){
                             if (obj.style.visibility == "hidden"){
                                 obj.style.visibility = "visible";
                                 obj.style.display = "block";
-                                document.images["group"+id].src='<?php echo $CFG->wwwroot."/pix/t/switch_minus.gif" ?>';
+                                document.images["group"+id].src='<?php echo $CFG->wwwroot."/pix/t/switch_minus.png" ?>';
                             } else {
                                 obj.style.visibility = "hidden";
                                 obj.style.display = "none";
-                                document.images["group"+id].src='<?php echo $CFG->wwwroot."/pix/t/switch_plus.gif" ?>';
+                                document.images["group"+id].src='<?php echo $CFG->wwwroot."/pix/t/switch_plus.png" ?>';
                             }
                         }
                      </script>