jenkins-bot has submitted this change and it was merged.
Change subject: deprecate ChangesList::usePatrol
......................................................................
deprecate ChangesList::usePatrol
not used anywhere in core, not used in wmf-enabled extensions,
and used little or not at all elsewhere.
Change-Id: I9957696f025190d863a472e4512eb214b9cb5ada
---
M includes/ChangesList.php
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Hoo man: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/ChangesList.php b/includes/ChangesList.php
index ab851fa..dee8bf7 100644
--- a/includes/ChangesList.php
+++ b/includes/ChangesList.php
@@ -456,10 +456,15 @@
/**
* Check whether to enable recent changes patrol features
+ *
+ * @deprecated since 1.22
* @return Boolean
*/
public static function usePatrol() {
global $wgUser;
+
+ wfDeprecated( __METHOD__, '1.22' );
+
return $wgUser->useRCPatrol();
}
--
To view, visit https://gerrit.wikimedia.org/r/71591
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9957696f025190d863a472e4512eb214b9cb5ada
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aude <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Daniel Kinzler <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: Matmarex <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
