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: added accidentally removed '<?php' back in (was in 57fc5edd)

---
 lib/tpl/dokuwiki/tpl_header.php | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/tpl')

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 ...' */
-- 
cgit v1.2.3