diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-10-20 11:30:51 -0700 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-10-20 11:30:51 -0700 |
| commit | d9529222b05d3366179c8a5bbd6d717664b98de0 (patch) | |
| tree | 7789b8bc9ee9405f0ce33ff19dad5d15fb9b6207 /lib/tpl | |
| parent | 9f5b9cf15569babaa90f0d6f3dd58cefd5439bc5 (diff) | |
| parent | e07886c01389351f28a254ef6f7c9611453508fb (diff) | |
| download | rpg-d9529222b05d3366179c8a5bbd6d717664b98de0.tar.gz rpg-d9529222b05d3366179c8a5bbd6d717664b98de0.tar.bz2 | |
Merge pull request #380 from splitbrain/phpstrict
Php strict
Diffstat (limited to 'lib/tpl')
| -rw-r--r-- | lib/tpl/dokuwiki/tpl_header.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/tpl/dokuwiki/tpl_header.php b/lib/tpl/dokuwiki/tpl_header.php index 19d165059..a2bfd4346 100644 --- a/lib/tpl/dokuwiki/tpl_header.php +++ b/lib/tpl/dokuwiki/tpl_header.php @@ -41,7 +41,7 @@ if (!defined('DOKU_INC')) die(); <h3 class="a11y"><?php echo $lang['user_tools']; ?></h3> <ul> <?php - if ($_SERVER['REMOTE_USER']) { + if (!empty($_SERVER['REMOTE_USER'])) { echo '<li class="user">'; tpl_userinfo(); /* 'Logged in as ...' */ echo '</li>'; |