com web/doc: Generation date improved: include/lib_revcheck .inc.php

Commit:    1abf3f06b26309b74b988f65c15c76ae9f6e57e4
Author:    Sobak <[email protected]>         Mon, 24 Mar 2014 16:06:23 +0100
Parents:   f3482054d1edc3dabc3abbf0c7a9c2a9cc35bf1a
Branches:  master

Link:       http://git.php.net/?p=web/doc.git;a=commitdiff;h=1abf3f06b26309b74b988f65c15c76ae9f6e57e4

Log:
Generation date improved

Changed paths:
  M  include/lib_revcheck.inc.php


Diff:
diff --git a/include/lib_revcheck.inc.php b/include/lib_revcheck.inc.php
index e54bfa4..59f0c4a 100644
--- a/include/lib_revcheck.inc.php
+++ b/include/lib_revcheck.inc.php
@@ -708,5 +708,6 @@ function get_stats_notag($idx, $lang)
 
 function gen_date($file)
 {
-    return '<small>Generated: '.date('d M Y H:i:s', filemtime($file)).'</small>';
+    $unix = filemtime($file);
+    return '<time class="gen-date" datetime="'.date(DATE_W3C, $unix).'">Generated: '.date('d M Y H:i:s', $unix).'</time>';
 }
\ No newline at end of file