Added missing $PAGEEDITTIME replacement for impersonal mails

diff --git a/includes/UserMailer.php b/includes/UserMailer.php
index a115a70..25297d1 100644 (file)
--- 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 );