From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 4 Jun 2011 20:21:50 +0000 (+0000)
Subject: Added missing $PAGEEDITTIME replacement for impersonal mails
X-Git-Tag: 1.31.0-rc.0~29717
X-Git-Url: https://git.cyclocoop.org/%27.%24link.%27?a=commitdiff_plain;h=ad7675d387e09b393236a18942805a0dc9265b5e;p=lhc%2Fweb%2Fwiklou.git

Added missing $PAGEEDITTIME replacement for impersonal mails
---

diff --git a/includes/UserMailer.php b/includes/UserMailer.php
index a115a70052..25297d1590 100644
--- a/includes/UserMailer.php
+++ b/includes/UserMailer.php
@@ -658,9 +658,11 @@ class EmailNotification {
 
 		$body = str_replace(
 				array( '$WATCHINGUSERNAME',
-					'$PAGEEDITDATE' ),
+					'$PAGEEDITDATE',
+					'$PAGEEDITTIME' ),
 				array( wfMsgForContent( 'enotif_impersonal_salutation' ),
-					$wgContLang->timeanddate( $this->timestamp, true, false, false ) ),
+					$wgContLang->timeanddate( $this->timestamp, true, false, false ),
+					$wgContLang->time( $this->timestamp, true, false, $timecorrection ) ),
 				$this->body );
 
 		return UserMailer::send( $addresses, $this->from, $this->subject, $body, $this->replyto );