jenkins-bot has submitted this change and it was merged.
Change subject: Add $counter which was defined dynamically
......................................................................
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
---
M includes/changes/RecentChange.php
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Parent5446: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/changes/RecentChange.php
b/includes/changes/RecentChange.php
index 8fba6a7..0ef71c4 100644
--- a/includes/changes/RecentChange.php
+++ b/includes/changes/RecentChange.php
@@ -87,6 +87,11 @@
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
/**
--
To view, visit https://gerrit.wikimedia.org/r/96224
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib0e76a325c36a5c019db8d55c150e3bf3bf1d19b
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
