From 862810dc09b76f733867d1a111d14a8e791e08e3 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sat, 16 Aug 2003 16:14:25 +0000
Subject: [PATCH] No need to call isteacher and isteacheredit, just
isteacheredit will do. :-)
---
files/index.php | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/files/index.php b/files/index.php
index 95ce79940a..fcf90354e6 100644
--- 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> ";
$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 {
--
2.39.5