Mark the hidden ones for teachers

diff --git a/lib/weblib.php b/lib/weblib.php
index 2c1fb99d391257213fa2c964a5692a592c6333bd..1038266b57920839bce789f8d456b3f048697d44 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1005,6 +1005,9 @@ function navmenu($course, $cm=NULL) {
             if (strlen($mod->name) > 55) {
                 $mod->name = substr($mod->name, 0, 50)."...";
             }
+            if (!$mod->visible) {
+                $mod->name = "(".$mod->name.")";
+            }
             $menu[$url] = $mod->name; 
         }
     }