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 ++++
 1 file changed, 4 insertions(+)

(limited to 'inc')

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)){
-- 
cgit v1.2.3