| Index: trunk/phase3/includes/UserMailer.php |
| — | — | @@ -339,7 +339,7 @@ |
| 340 | 340 | |
| 341 | 341 | } |
| 342 | 342 | |
| 343 | | - /* |
| | 343 | + /** |
| 344 | 344 | * Immediate version of notifyOnPageChange(). |
| 345 | 345 | * |
| 346 | 346 | * Send emails corresponding to the user $editor editing the page $title. |
| — | — | @@ -354,7 +354,7 @@ |
| 355 | 355 | * @param $watchers array of user IDs |
| 356 | 356 | * @param $deleted boolean If page was deleted |
| 357 | 357 | */ |
| 358 | | - function actuallyNotifyOnPageChange($editor, $title, $timestamp, $summary, $minorEdit, $oldid, $watchers) { |
| | 358 | + function actuallyNotifyOnPageChange( $editor, $title, $timestamp, $summary, $minorEdit, $oldid, $watchers, $deleted ) { |
| 359 | 359 | # we use $wgPasswordSender as sender's address |
| 360 | 360 | global $wgEnotifWatchlist; |
| 361 | 361 | global $wgEnotifMinorEdits, $wgEnotifUserTalk; |