diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/footer.phtml | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
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 |