login/edit: admin event dates (creation, setup, visit)

diff --git a/widget/login/edit.php b/widget/login/edit.php
index 22ad87856056039fd775062f4a2abca3361cce79..bb0f75ca28f0947db9b076b0ef4dc4e884394ab1 100644 (file)
--- a/widget/login/edit.php
+++ b/widget/login/edit.php
@@ -165,6 +165,20 @@ if ($User->admin('user')) {
 ?>
 <aside>
 <h2>Gebruikersbeheer</h2>
+<dl>
+<?php if ($time = @fileatime($user->dir)) { // assume noatime ?>
+<dt>Aangemaakt</dt>
+<dd><?php print strftime('%F %H:%M', $time); ?></dd>
+<?php } ?>
+<?php if ($time = @filemtime("{$user->dir}/.passwd")) { ?>
+<dt>Wachtwoord ingesteld</dt>
+<dd><?php print strftime('%F %H:%M', $time); ?></dd>
+<?php } ?>
+<?php if ($user->seen) { ?>
+<dt>Laatste bezoek</dt>
+<dd><?php print strftime('%F %H:%M', $user->seen); ?></dd>
+<?php } ?>
+</dl>
 <?php
        $postdir = 'doc/post';
        if (is_dir($postdir)) {