dokuwiki-media-userinfo.patch

   1 CHECKME: possibly outdated now?
   2
   3 --- dokuwiki-rc2010-10-07/inc/media.php~        2010-10-07 21:28:44.000000000 +0300
   4 +++ dokuwiki-rc2010-10-07/inc/media.php 2010-10-07 21:30:12.262536013 +0300
   5 @@ -392,6 +392,7 @@
   6      global $lang;
   7      global $conf;
   8      global $INFO;
   9 +    global $USERINFO;
  10      if(empty($conf['notify'])) return; //notify enabled?
  11
  12      $ip = clientIP();
  13 @@ -316,8 +317,8 @@
  14
  15      $from = $conf['mailfrom'];
  16      $from = str_replace('@USER@',$_SERVER['REMOTE_USER'],$from);
  17 -    $from = str_replace('@NAME@',$INFO['userinfo']['name'],$from);
  18 -    $from = str_replace('@MAIL@',$INFO['userinfo']['mail'],$from);
  19 +    $from = str_replace('@NAME@',$USERINFO['name'],$from);
  20 +    $from = str_replace('@MAIL@',$USERINFO['mail'],$from);
  21
  22      $subject = '['.$conf['title'].'] '.$lang['mail_upload'].' '.$id;
  23