8 <h2>Gebruikersbeheer</h2>
10 <?php if ($time = @fileatime($user->dir)) { // assume noatime ?>
12 <dd><?php print strftime('%F %H:%M', $time); ?></dd>
14 <?php if ($time = @filemtime("{$user->dir}/.passwd")) { ?>
15 <dt>Wachtwoord ingesteld</dt>
16 <dd><?php print strftime('%F %H:%M', $time); ?></dd>
18 <?php if ($user->seen) { ?>
19 <dt>Laatste bezoek</dt>
20 <dd><?php print strftime('%F %H:%M', $user->seen); ?></dd>
24 $postdir = 'doc/post';
25 if (is_dir($postdir)) {
26 print "<h3>Brieven</h3><ul>\n";
27 foreach (glob("$postdir/*.html") as $link) {
28 $page = new ArchiveArticle($link);
29 printf('<li><a href="/%s?login=%s">%s</a></li>'."\n",
30 $page->link, $user->login, $page->name