projects
/
gwvp-mini.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
cedd983
)
format time in commit log
author
Paul J R
<me@pjr.cc>
Thu, 25 Oct 2012 08:02:26 +0000 (19:02 +1100)
committer
Paul J R
<me@pjr.cc>
Thu, 25 Oct 2012 08:02:26 +0000 (19:02 +1100)
gwvpmini/gwvpmini_view.php
patch
|
blob
|
history
diff --git
a/gwvpmini/gwvpmini_view.php
b/gwvpmini/gwvpmini_view.php
index
642a9bc
..
92ac981
100644
(file)
--- a/
gwvpmini/gwvpmini_view.php
+++ b/
gwvpmini/gwvpmini_view.php
@@
-215,7
+215,8
@@
function gwvpmini_RepoViewPageBody()
$flon = "$flin3 (external)";
}
}
- echo "<tr><td>".gwvpmini_HtmlGravatar($flin2, 18)."$flon</td><td>$flin1</td><td>$flin4</td></tr>";
+ $timedifftxt = gwvpmini_TimeDiffText($flin1);
+ echo "<tr><td>".gwvpmini_HtmlGravatar($flin2, 18)."$flon</td><td>$timedifftxt</td><td>$flin4</td></tr>";
}
echo "</table>";
} else {