--- html.php.orig 2007-01-31 16:41:43.000000000 +0100 +++ html.php 2007-01-31 11:49:19.000000000 +0100 @@ -467,11 +467,23 @@ $date = @date($conf['dformat'],$INFO['lastmod']); print p_locale_xhtml('revisions'); - print '