From 45d0e16f78498310825d395d984f727ca9ccd080 Mon Sep 17 00:00:00 2001
From: Raimond Spekking <raymond@users.mediawiki.org>
Date: Sat, 22 Aug 2009 07:03:52 +0000
Subject: [PATCH] Follow-up r55459: Fix for PHP Notice: Undefined variable:
 deleted in /var/www/w/includes/UserMailer.php on line 379

---
 includes/UserMailer.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/UserMailer.php b/includes/UserMailer.php
index 3e89ea9b23..a28837820f 100644
--- a/includes/UserMailer.php
+++ b/includes/UserMailer.php
@@ -339,7 +339,7 @@ class EmailNotification {
 
 	}
 
-	/*
+	/**
 	 * Immediate version of notifyOnPageChange().
 	 *
 	 * Send emails corresponding to the user $editor editing the page $title.
@@ -354,7 +354,7 @@ class EmailNotification {
 	 * @param $watchers array of user IDs
 	 * @param $deleted boolean If page was deleted
 	 */
-	function actuallyNotifyOnPageChange($editor, $title, $timestamp, $summary, $minorEdit, $oldid, $watchers) {
+	function actuallyNotifyOnPageChange( $editor, $title, $timestamp, $summary, $minorEdit, $oldid, $watchers, $deleted ) {
 		# we use $wgPasswordSender as sender's address
 		global $wgEnotifWatchlist;
 		global $wgEnotifMinorEdits, $wgEnotifUserTalk;
-- 
2.20.1