diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2010-09-09 12:02:56 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2010-09-09 12:02:56 +0200 |
| commit | 9a2cec2e934b77a311cf21d5822dfd0146d5140b (patch) | |
| tree | 7f1dc59fb376370458450ebf1ca8b41ada5b0fe2 /inc/html.php | |
| parent | bf0d530db050553cfcc5aa984af8b7ffc1fb3056 (diff) | |
| download | rpg-9a2cec2e934b77a311cf21d5822dfd0146d5140b.tar.gz rpg-9a2cec2e934b77a311cf21d5822dfd0146d5140b.tar.bz2 | |
display DokuWiki version in admin menu
Template authors might need to adjust their CSS
Diffstat (limited to 'inc/html.php')
| -rw-r--r-- | inc/html.php | 4 |
1 files changed, 4 insertions, 0 deletions
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)){ |