From 6b5a52efbae3039d08b54f7dccade896d59dd370 Mon Sep 17 00:00:00 2001 From: Aaron Schulz Date: Sat, 8 Nov 2008 19:33:04 +0000 Subject: [PATCH] Fix comment --- includes/Title.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/Title.php b/includes/Title.php index 0e493cf92f..61c5c6cba2 100644 --- 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 //@} -- 2.20.1