From 5e984c56d67aafecf27d7fddd922484a0318c9db Mon Sep 17 00:00:00 2001
From: Anika Henke <anika@selfthinker.org>
Date: Sat, 24 Mar 2012 11:51:44 +0000
Subject: [PATCH] added accidentally removed '<?php' back in (was in 57fc5edd)
---
lib/tpl/dokuwiki/tpl_header.php | 1 +
1 file changed, 1 insertion(+)
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 ...' */
--
GitLab