Fix comment

diff --git a/includes/Title.php b/includes/Title.php
index 0e493cf..61c5c6c 100644 (file)
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -68,7 +68,7 @@ class Title {
        var $mWatched = null;             ///< Is $wgUser watching this page? null if unfilled, accessed through userIsWatching()
        var $mLength = -1;                ///< The page length, 0 for special pages
        var $mRedirect = null;            ///< Is the article at this title a redirect?
-       var $mNotificationTimestamp = array(); ///< Associative array of ID -> timestamp/NULL
+       var $mNotificationTimestamp = array(); ///< Associative array of user ID -> timestamp/false
        //@}