No need to call isteacher and isteacheredit, just isteacheredit will do. :-)

diff --git a/files/index.php b/files/index.php
index 95ce79940af6a6dc52b82de5e87fa38dafbafda8..fcf90354e601107c3d13f7dc3bc75297de240c1d 100644 (file)
--- a/files/index.php
+++ b/files/index.php
@@ -762,7 +762,7 @@ function displaydir ($wdir) {
             } else if ($icon == "zip.gif") {
                 $edittext = "<a href=\"index.php?id=$id&wdir=$wdir&file=$fileurl&action=unzip\">$strunzip</a>&nbsp;";
                 $edittext .= "<a href=\"index.php?id=$id&wdir=$wdir&file=$fileurl&action=listzip\">$strlist</a> ";
-                if (!empty($CFG->backup_version) and isteacher($id) and isteacheredit($id)) {
+                if (!empty($CFG->backup_version) and isteacheredit($id)) {
                     $edittext .= "<a href=\"index.php?id=$id&wdir=$wdir&file=$filesafe&action=restore\">$strrestore</a> ";
                 }
             } else {