Remove unused use of undefined variable

diff --git a/includes/UserMailer.php b/includes/UserMailer.php
index ac1b0f4..274c066 100644 (file)
--- a/includes/UserMailer.php
+++ b/includes/UserMailer.php
@@ -276,7 +276,6 @@ class EmailNotification {
                $keys['$PAGETITLE']          = $pagetitle;
                $keys['$PAGETITLE_URL']      = $this->title->getFullUrl();
                
-               $keys['$PAGETIMESTAMP']      = $article->mTimestamp;    # this is the raw internal timestamp - can be useful, too
                $keys['$PAGEMINOREDIT']      = $medit;
                $keys['$PAGESUMMARY']        = $summary;