From 113052b13e29a67b4fe4221e8bf772ad813ebfb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 17:33:19 +0000
Subject: Tweaks and validation fixes.

---
 html/footer.phtml | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

(limited to 'html/footer.phtml')

diff --git a/html/footer.phtml b/html/footer.phtml
index 94c8ce72..5246c2b9 100644
--- a/html/footer.phtml
+++ b/html/footer.phtml
@@ -1,13 +1,9 @@
+<!-- This is the footer -->
 <hr>
-<?php
- print 
- "<a href=\"http://validator.dcs.ed.ac.uk/check?uri=http://zermelo.dcs.ed.ac.uk"
- . getenv("REQUEST_URI")
- . ";pw;ss\">";
-?> 
- <img border=0
-      src="images/vh40.gif"
-      alt="Valid HTML 4.0!" height=31 width=88 align=right>
+<a href="http://validator.dcs.ed.ac.uk/check/referer;pw;ss">
+<img border=0
+     src="images/vh40.gif"
+     alt="Valid HTML 4.0!" height=31 width=88 align=right>
 </a>
 <address>
 Web pages by
@@ -16,3 +12,4 @@ Web pages by
 Contact
 <a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer.</a>
 <br>
+<!-- End of footer -->
\ No newline at end of file
-- 
cgit v1.2.3