diff options
Diffstat (limited to 'html/footer.phtml')
| -rw-r--r-- | html/footer.phtml | 15 |
1 files changed, 6 insertions, 9 deletions
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 |