#27 Admin query of server clock

[Chris Sangwin]

I think it would be very useful if some of the pages
contained a small "created at xx:yy:zz, on ??th ***
200@" at the bottom - in the past I've had problems
with the server clock running fast and slow. This would
be an easy way to check the time of the server.

Perhaps this would be useful on some of the student
pages also to let the know at most how much time they
have left on an assessed quiz. Again - they are being
judged by the server's time and this may not correspond
to their watch. At least this will deprive any student of
an after plea of "I didn't know what time the server was
keeping".

Chris