summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorAnika Henke <anika@selfthinker.org>2012-03-24 11:51:44 +0000
committerAnika Henke <anika@selfthinker.org>2012-03-24 11:51:44 +0000
commit5e984c56d67aafecf27d7fddd922484a0318c9db (patch)
tree31a628a84602c26d9c2585512b896989f1a096db /lib
parente601443821436ad3b9cd9b8ec9a478a50d77d3e0 (diff)
downloadrpg-5e984c56d67aafecf27d7fddd922484a0318c9db.tar.gz
rpg-5e984c56d67aafecf27d7fddd922484a0318c9db.tar.bz2
added accidentally removed '<?php' back in (was in 57fc5edd)
Diffstat (limited to 'lib')
-rw-r--r--lib/tpl/dokuwiki/tpl_header.php1
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 ...' */