aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-29 17:28:55 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-29 17:28:55 +0000
commit58bf0d27db10a9b20b96777707bbd76ce7904640 (patch)
tree6f90a3c404bf0ed25ef78d9424130bc2a17696eb /html
parent7534168dcc382c145834de823b9f28b6fdf02fc7 (diff)
Remove link_root nonsense
Diffstat (limited to 'html')
-rw-r--r--html/functions.php38
1 files changed, 0 insertions, 8 deletions
diff --git a/html/functions.php3 b/html/functions.php3
index 1b9bfbe0..864eab3f 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -113,14 +113,6 @@ function date_modified($filename) {
}
}
-/* A link to one of the main pages (must appear in navbar menu) */
-
-function link_root($page,$text) {
- print "<a href=\"index.html?page=" . $page . "\">";
- print $text;
- print "</a>";
-}
-
function small_header($title) {
print $dtd;
print "<html>";