com web/doc: Generation date improved: include/lib_revcheck .inc.php
| From: | sobak@php.net | Date: | Mon, 24 Mar 2014 15:06:23 +0000 |
| Subject: | com web/doc: Generation date improved: include/lib_revcheck .inc.php | ||
| Groups: | php.doc.web | ||
| Request: | Send a blank email to doc-web+get-2336@lists.php.net to get a copy of this message | ||
Commit: 1abf3f06b26309b74b988f65c15c76ae9f6e57e4
Author: Sobak <msobaczewski@gmail.com> 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