Hallo Herbert
Im PHP Manual zu time() hat ein (oder eine) yasmary eine nette Funktion gepostet & erklärt:
http://de.php.net/manual/de/function.time.php
Die Ergänzung vom 6.März 09 (gleich die erste): function nicetime($date)
Ich denke, die macht was du möchtest.