From 9a2cec2e934b77a311cf21d5822dfd0146d5140b Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Thu, 9 Sep 2010 12:02:56 +0200
Subject: display DokuWiki version in admin menu

Template authors might need to adjust their CSS
---
 inc/html.php               | 4 ++++
 lib/tpl/default/_admin.css | 5 +++++
 2 files changed, 9 insertions(+)

diff --git a/inc/html.php b/inc/html.php
index b475e2b7a..299795cc9 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -1447,7 +1447,11 @@ function html_admin(){
     }
     unset($menu['popularity']);
 
+    // print DokuWiki version:
     ptln('</ul>');
+    echo '<div id="admin__version">';
+    echo getVersion();
+    echo '</div>';
 
     // print the rest as sorted list
     if(count($menu)){
diff --git a/lib/tpl/default/_admin.css b/lib/tpl/default/_admin.css
index f34d8aba3..6c8066ba6 100644
--- a/lib/tpl/default/_admin.css
+++ b/lib/tpl/default/_admin.css
@@ -1,3 +1,8 @@
+#admin__version {
+    clear:left;
+    float: right;
+    color: __text_neu__;
+}
 
 .dokuwiki ul.admin_tasks {
     font-size: 115%;
-- 
cgit v1.2.3