Add $counter which was defined dynamically

Used in SpecialRecentChanges, ChangesList and SpecialWatchlist to keep
track of line numbers for RC list entries.

Change-Id: Ib0e76a325c36a5c019db8d55c150e3bf3bf1d19b

diff --git a/includes/changes/RecentChange.php b/includes/changes/RecentChange.php
index 8fba6a7..0ef71c4 100644 (file)
--- a/includes/changes/RecentChange.php
+++ b/includes/changes/RecentChange.php
@@ -87,6 +87,11 @@ class RecentChange {
        public $numberofWatchingusers = 0; # Dummy to prevent error message in SpecialRecentchangeslinked
        public $notificationtimestamp;
 
+       /**
+        * @var int Line number of recent change. Default -1.
+        */
+       public $counter = -1;
+
        # Factory methods
 
        /**