login: introduction for admin users

diff --git a/login.php b/login.php
index a9291a1e7b01673c89635efdbe8d983755ce73ec..4b04493c849013e2890004f133aaec37a03b0bbf 100644 (file)
--- a/login.php
+++ b/login.php
@@ -35,6 +35,16 @@ if (isset($_GET['goto'])) {
 
 <?php
 if (!empty($User['admin'])) {
+?>
+<h2>Sitebeheer</h2>
+
+<p>
+Gefeliciteerd, je bent beheerder!
+Pagina's zijn aan te passen met de link <em>Wijzig</em> rechtsbovenin.
+Wijzigingen zijn direct zichtbaar, en worden periodiek bijgehouden:
+</p>
+
+<?php
        print "<h3>Laatste aanpassingen</h3>\n";
        $_GET['pagesize'] = 10;
        include_once 'admin/commits.php';