diff options
Diffstat (limited to 'inc')
| -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)){ |