diff options
| author | aude <aude.wiki@gmail.com> | 2013-07-02 09:29:12 +0000 |
|---|---|---|
| committer | aude <aude.wiki@gmail.com> | 2013-07-02 15:15:24 +0000 |
| commit | 90503e146a6feb9690d2b1f05db3882aacefe522 (patch) | |
| tree | 9e3c7906c6ef7e108026c6d9cae8921a264051b6 | |
| parent | 403b4fed47989741c0164ff97d674dd32aebfb40 (diff) | |
| download | mediawikicore-90503e146a6feb9690d2b1f05db3882aacefe522.tar.gz mediawikicore-90503e146a6feb9690d2b1f05db3882aacefe522.zip | |
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
| -rw-r--r-- | includes/ChangesList.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/includes/ChangesList.php b/includes/ChangesList.php index ab851fa84efa..dee8bf79477d 100644 --- a/includes/ChangesList.php +++ b/includes/ChangesList.php @@ -456,10 +456,15 @@ class ChangesList extends ContextSource { /** * 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(); } |