diff options
author | Anika Henke <anika@selfthinker.org> | 2012-03-24 11:51:44 +0000 |
---|---|---|
committer | Anika Henke <anika@selfthinker.org> | 2012-03-24 11:51:44 +0000 |
commit | 5e984c56d67aafecf27d7fddd922484a0318c9db (patch) | |
tree | 31a628a84602c26d9c2585512b896989f1a096db | |
parent | e601443821436ad3b9cd9b8ec9a478a50d77d3e0 (diff) | |
download | rpg-5e984c56d67aafecf27d7fddd922484a0318c9db.tar.gz rpg-5e984c56d67aafecf27d7fddd922484a0318c9db.tar.bz2 |
added accidentally removed '<?php' back in (was in 57fc5edd)
-rw-r--r-- | lib/tpl/dokuwiki/tpl_header.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/tpl/dokuwiki/tpl_header.php b/lib/tpl/dokuwiki/tpl_header.php index 9a391aedc..35b3cf636 100644 --- a/lib/tpl/dokuwiki/tpl_header.php +++ b/lib/tpl/dokuwiki/tpl_header.php @@ -32,6 +32,7 @@ <div id="dokuwiki__usertools"> <h3 class="a11y"><?php echo $lang['user_tools']; ?></h3> <ul> + <?php if ($_SERVER['REMOTE_USER']) { echo '<li class="user">'; tpl_userinfo(); /* 'Logged in as ...' */ |